MySQL 5.7 and MariaDB 10.2 error codes are out of sync

In MariaDB 10.2.4, error code 3000 is ER_ERROR_ON_MASTER, 3001 is ER_INCONSISTENT_ERROR. However, according to https://dev.mysql.com/doc/refman/5.7/en/error-messages-server.html those are errors 3001 and 3002 respectively on MySQL. I have not checked whether the documentation matches the actual situation in 5.7, but assuming it does, has MySQL's error code 3000, ER_FILE_CORRUPT been missed?