cvs: phpdoc /htmlhelp filter_files.php

techtonik Tue Jun 21 08:35:34 2005 EDT Modified files: /phpdoc/htmlhelp filter_files.php Log: * <a name="_user_notes"> is deprecated - changing to <a id="user_notes"> http://cvs.php.net/diff.php/phpdoc/htmlhelp/filter_files.php?r1=1.12&r2=1.13&ty=u Index: phpdoc/htmlhelp/filter_files.php diff -u phpdoc/htmlhelp/filter_files.php:1.12 phpdoc/htmlhelp/filter_files.php:1.13 --- phpdoc/htmlhelp/filter_files.php:1.12 Mon Jun 20 05:35:26 2005 +++ phpdoc/htmlhelp/filter_files.php Tue Jun 21 08:35:34 2005 @@ -1,4 +1,4 @@ -<?php // $Id: filter_files.php,v 1.12 2005/06/20 09:35:26 techtonik Exp $ +<?php // $Id: filter_files.php,v 1.13 2005/06/21 12:35:34 techtonik Exp $ /* This file is part of the Windows Compiled HTML Help @@ -198,7 +198,7 @@ // End that pageText div before the user notes $content = str_replace( - '<a name="_user_notes">', + '<a id="user_notes">', '</div><a name="_user_notes">', $content ); @@ -259,7 +259,7 @@ // Get contents we need to build the _index.html file preg_match("!^(.+)<hr>!s", $content, $_index1); - preg_match("!(</div></div><a name=\"_user_notes\">.+</html>)!s", $content, $_index2); + preg_match("!(</div></div><a id=\"user_notes\">.+</html>)!s", $content, $_index2); // Write out the two components to form a complete file $fp = fopen("$HTML_TARGET/_index.html", "w");