Thijs/wiki.techinc.nl
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

When running PHP from the command line the default setting is 0...except when it's not.

Browse source
This commit is contained in:
Chad Horohoe 2009-08-15 20:56:11 +00:00
parent 047a82aa3c
commit b629a66fed
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
maintenance/Maintenance.php
View file

@ -327,6 +327,11 @@ abstract class Maintenance {
# Set the memory limit
ini_set( 'memory_limit', -1 );
# Set max execution time to 0 (no limit). PHP.net says that
# "When running PHP from the command line the default setting is 0."
# But sometimes this doesn't seem to be the case.
ini_set( 'max_execution_time', 0 );
$wgRequestTime = microtime( true );
# Define us as being in MediaWiki