Add functions to manage php extensions.