Where is global php_ext used?