Applied further fixes to PHPInfoPage