Added php::extension::mysql