| Index: trunk/wiki2xml/php/w2x.php |
| — | — | @@ -2,15 +2,15 @@ |
| 3 | 3 | # Copyright by Magnus Manske (2005 - 2006) |
| 4 | 4 | # Released under GPL |
| 5 | 5 | |
| | 6 | +@set_time_limit ( 0 ) ; # No time limit |
| | 7 | +ini_set('user_agent','MSIE 4\.0b2;'); # Fake user agent |
| | 8 | + |
| 6 | 9 | if( !defined( 'MEDIAWIKI' ) ) { # Stand-alone |
| 7 | 10 | include_once ( "default.php" ) ; # Which will include local.php, if available |
| 8 | 11 | } |
| 9 | 12 | |
| 10 | 13 | require_once ( "mediawiki_converter.php" ) ; |
| 11 | 14 | |
| 12 | | -@set_time_limit ( 0 ) ; # No time limit |
| 13 | | -ini_set('user_agent','MSIE 4\.0b2;'); # Fake user agent |
| 14 | | - |
| 15 | 15 | ## TIMER FUNCTION |
| 16 | 16 | |
| 17 | 17 | function microtime_float() |