[ticket/12267] Replace $php_ext with $phpEx

http://tracker.phpbb.com/browse/PHPBB3-12267