phpbb/phpbb — pull request #2115 by Elsensee (2014-03-13 09:53:36+00:00)
Title: [ticket/12267] Replace $php_ext with $phpEx

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