Update mysql.rst