Some reserved keywords (like OPTION) are not enforced

Hi,

some reserved keywords from https://mariadb.com/kb/en/mariadb/reserved-words/ don't seem to be enforced.

Following query works in MariaDB:

MariaDB [test]> CREATE table OPTION (OPTION int);

Query OK, 0 rows affected (0.01 sec)

... and fails in MySQL (5.6 tested):

mysql> CREATE table OPTION (OPTION int);

ERROR 1064 (42000): You have an error in your SQL syntax; check the manual that corresponds to your MySQL server version for the right syntax to use near 'OPTION (OPTION int)' at line 1

This can cause compatibility problems (ex: I develop on MariaDB, and production is on MySQL)
Is this intended ?

List of reserved keywords that are not enforced:

• GENERAL
• IGNORE_SERVER_IDS
• MASTER_HEARTBEAT_PERIOD
• OPTION
• SLOW

Thanks in advance,
Joffrey