bjori Mon Jun 25 16:14:05 2007 UTC
Modified files:
/livedocs/themes/php.net html_format.php
Log:
Don't hardcode the path to /themes/
http://cvs.php.net/viewvc.cgi/livedocs/themes/php.net/html_format.php?r1=1.18&r2=1.19&diff_format=u
Index: livedocs/themes/php.net/html_format.php
diff -u livedocs/themes/php.net/html_format.php:1.18
livedocs/themes/php.net/html_format.php:1.19
--- livedocs/themes/php.net/html_format.php:1.18 Mon Jun 25 15:17:15 2007
+++ livedocs/themes/php.net/html_format.php Mon Jun 25 16:14:05 2007
@@ -18,7 +18,7 @@
// | headers and footers for the HTML rendering |
// +----------------------------------------------------------------------+
//
-// $Id: html_format.php,v 1.18 2007/06/25 15:17:15 bjori Exp $
+// $Id: html_format.php,v 1.19 2007/06/25 16:14:05 bjori Exp $
// in livedoc_funcs.php
define('NAV_START', '<div id="manualtoc">');
@@ -40,6 +40,7 @@
function manual_page_header() {
global $lang, $title, $css_url, $nav;
+ $base = WEBBASE;
$dir = RTL;
$head =<<<HEAD
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
@@ -48,18 +49,18 @@
<head>
<title>$title</title>
<style type="text/css">
- @import url("/themes/php.net/styles/site.css");
- @import url("/themes/php.net/styles/mirror.css");
+ @import url("{$base}themes/php.net/styles/site.css");
+ @import url("{$base}themes/php.net/styles/mirror.css");
</style>
- <link rel="shortcut icon" href="/themes/php.net/images/favicon.ico" />
+ <link rel="shortcut icon" href="{$base}themes/php.net/images/favicon.ico" />
<link rel="stylesheet" href="$css_url" type="text/css" media="screen" />
- <script type="text/javascript" src="/themes/php.net/userprefs.js"></script>
+ <script type="text/javascript"
src="{$base}themes/php.net/userprefs.js"></script>
<meta name="robots" content="noindex" />
</head>
<body$dir>
<div id="headnav">
- <a href="/"><img src="/themes/php.net/images/php.gif" alt="PHP" width="120"
height="67" /></a>
+ <a href="/"><img src="{$base}themes/php.net/images/php.gif" alt="PHP"
width="120" height="67" /></a>
<div id="headmenu">
<a href="/downloads.php">downloads</a> |
<a href="/docs.php">documentation</a> |
@@ -99,7 +100,7 @@
<option value="phpdoc" >documentation mailing list</option>
</select>
<input type="image"
- src="/themes/php.net/images/small_submit_white.gif"
+ src="{$base}themes/php.net/images/small_submit_white.gif"
class="submit" alt="search" />
<input type="hidden" name="lang" value="en" />
</p>
