Make ExtensionSetup.php compatible with PHP 5.3