cvs: livedocs /themes/php.net html_format.php

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>