Commit: fa33a05da967702933770ab6fb3274a28ee86bf3 Author: Jeff Welch <[email protected]> Sat, 21 Jun 2014 03:18:38 -0400 Parents: 0c5e9267a12b7f52cb9f9ad035398e0c9b225507 Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=fa33a05da967702933770ab6fb3274a28ee86bf3 Log: Removed superfluous slashes. Changed paths: M include/header.inc M include/shared-manual.inc Diff: diff --git a/include/header.inc b/include/header.inc index 7d505cd..278ad38 100644 --- a/include/header.inc +++ b/include/header.inc @@ -63,7 +63,7 @@ if (!isset($config["languages"])) { <?php endforeach ?> <?php foreach($config["languages"] as $code): ?> - <link rel="alternate" href="<?php echo $MYSITE ?>/manual/<?php echo $code?>/<?php echo $config["thispage"] ?>" hreflang="<?php echo $code?>"> + <link rel="alternate" href="<?php echo $MYSITE ?>manual/<?php echo $code?>/<?php echo $config["thispage"] ?>" hreflang="<?php echo $code?>"> <?php endforeach ?> <?php foreach($CSS as $filename => $modified): ?> diff --git a/include/shared-manual.inc b/include/shared-manual.inc index 147fd6e..43cbb24 100644 --- a/include/shared-manual.inc +++ b/include/shared-manual.inc @@ -390,9 +390,9 @@ function manual_setup($setup) { $lastusernote = $note["xwhen"]; $base = "manual/" . $setup["head"][1] . "/"; - $_SERVER["BASE_PAGE"] = "/" . $base . $setup["this"][0]; + $_SERVER["BASE_PAGE"] = $base . $setup["this"][0]; $timestamps = array( - filemtime($_SERVER["DOCUMENT_ROOT"] . $_SERVER["BASE_PAGE"]), + filemtime($_SERVER["DOCUMENT_ROOT"] . "/" . $_SERVER["BASE_PAGE"]), filemtime($_SERVER["DOCUMENT_ROOT"] . "/include/prepend.inc"), filemtime($_SERVER["DOCUMENT_ROOT"] . "/styles/theme-base.css"), $lastusernote, -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
