added a few php extensions