techtonik Wed Nov 3 15:46:07 2004 EDT
Modified files: /phpdoc/htmlhelp filter_files.php Log: insert pageText div after last closed div http://cvs.php.net/diff.php/phpdoc/htmlhelp/filter_files.php?r1=1.8&r2=1.9&ty=u Index: phpdoc/htmlhelp/filter_files.php diff -u phpdoc/htmlhelp/filter_files.php:1.8 phpdoc/htmlhelp/filter_files.php:1.9 --- phpdoc/htmlhelp/filter_files.php:1.8 Tue Nov 2 14:18:33 2004 +++ phpdoc/htmlhelp/filter_files.php Wed Nov 3 15:46:01 2004 @@ -181,14 +181,14 @@ // Normal page else { - $headend_regex = '!</h1></div>!'; + $headend_regex = '!</h1>((</div>)+)!'; if (!preg_match($headend_regex, $content)) { echo "Impossible to close pageHeaders div. No match in $filename\n"; } else { $content = preg_replace( $headend_regex, - '</h1></div></div><div id="pageText">', + '</h1>\1<div id="pageText">', $content ); }