2-5: php extensions