1
0
mirror of https://github.com/php/web-php.git synced 2026-03-28 09:12:17 +01:00

Merge pull request #47 from whatthejeff/fix-double-slash

Removed superfluous slashes.

* whatthejeff/fix-double-slash:
  Removed superfluous slashes.
This commit is contained in:
Hannes Magnusson
2014-06-24 11:02:01 -07:00
2 changed files with 3 additions and 3 deletions

View File

@@ -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): ?>

View File

@@ -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,