Fixed php extension