PHP 5.2 compatible syntax in installation/index.php