Merge "installer: Restore PHP 5.3 compatibility in index.php"