php extensions bug