@@ -53,15 +53,23 @@ if (!isset($config["languages"])) {
5353 <meta charset="utf-8">
5454 <meta name="viewport" content="width=device-width, initial-scale=1.0">
5555
56+ <?php if (!empty ($ _SERVER ["BASE_HREF " ])): ?>
57+ <base href="<?php echo $ _SERVER ["BASE_HREF " ]; ?> ">
58+ <?php endif ?>
59+
5660 <title>PHP: <?php echo $ title ?> </title>
5761
62+ <?php foreach ($ CSS as $ filename => $ modified ): ?>
63+ <link rel="stylesheet" type="text/css" href="/cached.php?t=<?php echo $ modified?> &f=<?php echo $ filename?> " media="screen">
64+ <?php endforeach ?>
65+
5866 <link rel="icon" type="image/svg+xml" sizes="any" href="<?php echo $ MYSITE ?> favicon.svg?v=2">
5967 <link rel="icon" type="image/png" sizes="196x196" href="<?php echo $ MYSITE ?> favicon-196x196.png?v=2">
6068 <link rel="icon" type="image/png" sizes="32x32" href="<?php echo $ MYSITE ?> favicon-32x32.png?v=2">
6169 <link rel="icon" type="image/png" sizes="16x16" href="<?php echo $ MYSITE ?> favicon-16x16.png?v=2">
6270 <link rel="shortcut icon" href="<?php echo $ MYSITE ?> favicon.ico?v=2">
6371
64- <link rel="search" type="application/opensearchdescription+xml" href="http ://php.net/phpnetimprovedsearch.src" title="Add PHP.net search">
72+ <link rel="search" type="application/opensearchdescription+xml" href="https ://www. php.net/phpnetimprovedsearch.src" title="Add PHP.net search">
6573 <link rel="alternate" type="application/atom+xml" href="<?php echo $ MYSITE ?> releases/feed.php" title="PHP Release feed">
6674 <link rel="alternate" type="application/atom+xml" href="<?php echo $ MYSITE ?> feed.atom" title="PHP: Hypertext Preprocessor">
6775
@@ -81,14 +89,6 @@ if (!isset($config["languages"])) {
8189 <link rel="alternate" href="<?php echo $ MYSITE ?> manual/<?php echo $ code?> /<?php echo $ config ["thispage " ] ?> " hreflang="<?php echo $ code?> ">
8290<?php endforeach ?>
8391
84- <?php foreach ($ CSS as $ filename => $ modified ): ?>
85- <link rel="stylesheet" type="text/css" href="/cached.php?t=<?php echo $ modified?> &f=<?php echo $ filename?> " media="screen">
86- <?php endforeach ?>
87-
88- <?php if (!empty ($ _SERVER ["BASE_HREF " ])): ?>
89- <base href="<?php echo $ _SERVER ["BASE_HREF " ] ?> ">
90- <?php endif ?>
91-
9292<?php if (isset ($ config ['meta_tags ' ])) { echo $ config ['meta_tags ' ]; } ?>
9393
9494<?php if (is_primary_site ()) { ?>
0 commit comments