Deprecate MySQL driver based on deprecated PHP mysql extension
Merge pull request #4124 from mbabker/deprecate_mysql

Deprecate MySQL driver based on deprecated PHP mysql extension