MySQL-Reference-Manual-Version-Checker

Warn if referring version of MySQL reference manual is out of range