Minor tweak to timezone php.ini formatting
Fix missing php::config include when setting global version
Tidy up configure options so they're more readable