installer: Restore PHP 5.3 compatibility in index.php
This file should remain compatible with PHP 5.3, so that we can
actually display the error message about old PHP version, rather than
a syntax error.
Change-Id: If12f79f5d375e925291728aac7c9db18ca226d26