[ticket/12267] Replace $php_ext with $phpEx

PHPBB3-12267
Merge pull request #2115 from Elsensee/ticket/12267

[ticket/12267] Replace $php_ext with $phpEx

* Elsensee/ticket/12267:
  [ticket/12267] Replace $php_ext with $phpEx