cvs: livedocs / livedoc-index.php livedoc.php search.php

didou Fri Jan 23 04:40:23 2004 EDT Modified files: /livedocs livedoc-index.php livedoc.php search.php Log: use everywhere and get rid of some noise http://cvs.php.net/diff.php/livedocs/livedoc-index.php?r1=1.3&r2=1.4&ty=u Index: livedocs/livedoc-index.php diff -u livedocs/livedoc-index.php:1.3 livedocs/livedoc-index.php:1.4 --- livedocs/livedoc-index.php:1.3 Mon Jan 12 18:04:30 2004 +++ livedocs/livedoc-index.php Fri Jan 23 04:40:23 2004 @@ -18,7 +18,7 @@ // | Livedocs index | // +----------------------------------------------------------------------+ // -// $Id: livedoc-index.php,v 1.3 2004/01/12 23:04:30 didou Exp $ +// $Id: livedoc-index.php,v 1.4 2004/01/23 09:40:23 didou Exp $ echo <<<HEAD <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" @@ -26,7 +26,7 @@ <html> <head> <title>Livedocs Index</title> -<link rel="stylesheet" href="/livedoc.css" > +<link rel="stylesheet" href="$css_url" > </head> <body> <h1>Index</h1> http://cvs.php.net/diff.php/livedocs/livedoc.php?r1=1.77&r2=1.78&ty=u Index: livedocs/livedoc.php diff -u livedocs/livedoc.php:1.77 livedocs/livedoc.php:1.78 --- livedocs/livedoc.php:1.77 Wed Jan 21 12:14:53 2004 +++ livedocs/livedoc.php Fri Jan 23 04:40:23 2004 @@ -18,14 +18,13 @@ // | Generate an HTML version of a phpdoc/docbook page on the fly | // +----------------------------------------------------------------------+ // -// $Id: livedoc.php,v 1.77 2004/01/21 17:14:53 nlopess Exp $ +// $Id: livedoc.php,v 1.78 2004/01/23 09:40:23 didou Exp $ define('LIVEDOC_SOURCE', dirname(__FILE__)); include LIVEDOC_SOURCE . '/common.php'; include LIVEDOC_SOURCE . '/xml_classes.php'; include LIVEDOC_SOURCE . '/style_mapping.php'; -// Handle the case where if (!isset($_GET['q'])) { // Handles the 404. If a matching page is found, we redirect to it. // Else, we display a page with the closest matches and we stop the script. @@ -100,7 +99,7 @@ <html lang="$lang"> <head> <title>$title</title> -<link rel="stylesheet" href="$css_url"> +<link rel="stylesheet" href="$css_url" /> </head> <body> <table border="0" cellpadding="0" cellspacing="0" width="100%"> http://cvs.php.net/diff.php/livedocs/search.php?r1=1.4&r2=1.5&ty=u Index: livedocs/search.php diff -u livedocs/search.php:1.4 livedocs/search.php:1.5 --- livedocs/search.php:1.4 Mon Jan 12 18:04:30 2004 +++ livedocs/search.php Fri Jan 23 04:40:23 2004 @@ -18,7 +18,7 @@ // | Search page | // +----------------------------------------------------------------------+ // -// $Id: search.php,v 1.4 2004/01/12 23:04:30 didou Exp $ +// $Id: search.php,v 1.5 2004/01/23 09:40:23 didou Exp $ include './common.php'; @@ -129,7 +129,7 @@ ?> <html> <head> - <link rel="stylesheet" href="<?php echo WEBBASE; ?>livedoc.css"> + <link rel="stylesheet" href="<?php echo $css_url; ?>"> </head> <body> <div align="center">