Menu
▾
▴
Re: [Phpwiki-talk] [phpwiki-checkins] SF.net SVN: phpwiki:[7471] trunk/lib/ErrorManager.php
|
From: Reini U. <ru...@x-...> - 2010-06-07 14:11:10
|
2010/6/7 Sébastien Le Callonnec <sl...@ya...>:
> Hi Reini,
>
>
> Sorry for bothering again... This change seems also required in
> lib/WikiTheme.php (see attachment).
Sure.
I've removed the require_once('lib/HtmlElement.php'); line from
BlockParser.php, diff.php and WikiTheme.php, just not yet committed.
> On 07/06/2010 11:37, ru...@us... wrote:
>> Revision: 7471
>> http://phpwiki.svn.sourceforge.net/phpwiki/?rev=7471&view=rev
>> Author: rurban
>> Date: 2010-06-07 10:37:33 +0000 (Mon, 07 Jun 2010)
>>
>> Log Message:
>> -----------
>> use special HtmlElement5.php with php-4 unparsable public static
>> declaration
>>
>> Modified Paths:
>> --------------
>> trunk/lib/ErrorManager.php
>>
>> Modified: trunk/lib/ErrorManager.php
>> ===================================================================
>> --- trunk/lib/ErrorManager.php 2010-06-07 10:36:03 UTC (rev 7470)
>> +++ trunk/lib/ErrorManager.php 2010-06-07 10:37:33 UTC (rev 7471)
>> @@ -649,7 +649,11 @@
>> }
>> }
>>
>> -require_once(dirname(__FILE__).'/HtmlElement.php');
>> +if (check_php_version(5,2)) {
>> + require_once(dirname(__FILE__).'/HtmlElement5.php');
>> +} else {
>> + require_once(dirname(__FILE__).'/HtmlElement.php');
>> +}
>>
>> if (!isset($GLOBALS['ErrorManager'])) {
>> $GLOBALS['ErrorManager'] = new ErrorManager;
--
Reini Urban
http://phpwiki.org/ http://murbreak.at/
|
