cvs: phpweb / download-docs.php

From: Date: Fri, 20 Feb 2009 18:02:30 +0000
Subject: cvs: phpweb / download-docs.php
Groups: php.webmaster 
Request: Send a blank email to php-webmaster+get-3884@lists.php.net to get a copy of this message
philip Fri Feb 20 18:02:30 2009 UTC Modified files: /phpweb download-docs.php Log: Commenting out extended chm as we currently don't build or work on it http://cvs.php.net/viewvc.cgi/phpweb/download-docs.php?r1=1.84&r2=1.85&diff_format=u Index: phpweb/download-docs.php diff -u phpweb/download-docs.php:1.84 phpweb/download-docs.php:1.85 --- phpweb/download-docs.php:1.84 Sun Dec 28 07:22:59 2008 +++ phpweb/download-docs.php Fri Feb 20 18:02:29 2009 @@ -1,5 +1,5 @@ <?php -// $Id: download-docs.php,v 1.84 2008/12/28 07:22:59 philip Exp $ +// $Id: download-docs.php,v 1.85 2009/02/20 18:02:29 philip Exp $ $_SERVER['BASE_PAGE'] = 'download-docs.php'; include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; @@ -131,7 +131,8 @@ } /* {{{ FIXME: Special handling for the extended html help format since it doesn't follow the "naming rules" * (mostly copy&paste from the loop above) - */ + * Feb 20, 2009: Commenting this out as we currently don't build or work on it + $formats['<a href="/docs-echm.php">Extended HTML Help</a>'] = "zip"; // Add a link to the xchm docs in the table header $actual_file = $_SERVER['DOCUMENT_ROOT'] . "/distributions/manual/php_manual_chm.zip"; if (file_exists($actual_file)) { @@ -148,7 +149,7 @@ $found_formats["xchm"] = "zip"; } } -/* }}} */ +}}} */ if (count($found_formats) == 0) { echo "<p class=\"tip\">This mirror has no documentation files for download.</p>";

« previous php.webmaster (#3884) next »