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