cvs: phpdoc /htmlhelp filter_files.php
| From: | anatoly techtonik | Date: | Fri, 01 Jul 2005 22:27:05 +0000 |
| Subject: | cvs: phpdoc /htmlhelp filter_files.php | ||
| Groups: | php.doc | ||
| Request: | Send a blank email to phpdoc+get-969368890@lists.php.net to get a copy of this message | ||
techtonik Fri Jul 1 18:27:05 2005 EDT
Modified files:
/phpdoc/htmlhelp filter_files.php
Log:
- rendered html page can have multiple titlepages - replace only first
http://cvs.php.net/diff.php/phpdoc/htmlhelp/filter_files.php?r1=1.16&r2=1.17&ty=u
Index: phpdoc/htmlhelp/filter_files.php
diff -u phpdoc/htmlhelp/filter_files.php:1.16 phpdoc/htmlhelp/filter_files.php:1.17
--- phpdoc/htmlhelp/filter_files.php:1.16 Fri Jun 24 05:26:39 2005
+++ phpdoc/htmlhelp/filter_files.php Fri Jul 1 18:27:04 2005
@@ -1,4 +1,4 @@
-<?php // $Id: filter_files.php,v 1.16 2005/06/24 09:26:39 techtonik Exp $
+<?php // $Id: filter_files.php,v 1.17 2005/07/01 22:27:04 techtonik Exp $
/*
This file is part of the Windows Compiled HTML Help
@@ -121,7 +121,7 @@
// Additional divisions for skin support
// Adding div id="pageHeaders" instead of titlepage div
- $content = str_replace('<div class="titlepage">', '<div
id="pageHeaders">', $content);
+ $content = preg_replace('|<div class="titlepage">|', '<div
id="pageHeaders">', $content, 1);
// For headers we have several possibilities how to close div id="pageHeaders"
// and open div with id="pageText"