Deleted old php-extensions