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");
