added more php extensions