Introduce php extension config resource