restore compatibility with deprecated "mysql" php module