revert php-extension