Use a variable for max shell time, don't use php.ini, like we do for memory and file...
authorTim Starling <tstarling@users.mediawiki.org>
Thu, 16 Oct 2008 11:32:44 +0000 (11:32 +0000)
committerTim Starling <tstarling@users.mediawiki.org>
Thu, 16 Oct 2008 11:32:44 +0000 (11:32 +0000)
commit9e3b81e3218c3eb59885b17bca29ea235e24b96e
tree2408e47df6bc8dd4891d1498865449df51aa9a69
parentb3d1fe3fb4bbc8079f92e46cb865ce90c7a43dad
Use a variable for max shell time, don't use php.ini, like we do for memory and file size.
RELEASE-NOTES
includes/DefaultSettings.php
includes/GlobalFunctions.php