My learning of php extensions