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

Reply via email to