[PHP-DOC] cvs: phpdoc /htmlhelp filter_files.php

[Jakub Vrana]

vrana           Mon Jun  6 12:38:01 2005 EDT

  Modified files:              
    /phpdoc/htmlhelp    filter_files.php 
  Log:
  A <div> was missing (bug #33219)
  
http://cvs.php.net/diff.php/phpdoc/htmlhelp/filter_files.php?r1=1.10&r2=1.11&ty=u
Index: phpdoc/htmlhelp/filter_files.php
diff -u phpdoc/htmlhelp/filter_files.php:1.10 
phpdoc/htmlhelp/filter_files.php:1.11
--- phpdoc/htmlhelp/filter_files.php:1.10       Wed Nov  3 23:36:37 2004
+++ phpdoc/htmlhelp/filter_files.php    Mon Jun  6 12:37:58 2005
@@ -188,7 +188,7 @@
         } else {
             $content = preg_replace(
                 $headend_regex,
-                '</h1>\1<div id="pageText">',
+                '</h1>\1</div><div id="pageText">',
                 $content
             );
         }