Ensure the extension will work with PHP 5.2 (for some mediawiki 1.19 installs)