Add .ini files for mysql + mysqli PHP extensions