How to solve the error of MariaDB server when backing up data in MySQL Workbench

The server is running on MariaDB 10.2, and an error occurred while using MySQL Workbench:

Mysqldump: Couldn't execute 'SELECT COLUMN_NAME, JSON_EXTRACT (HISTOGRAM,' $. "number-of-buckets-specified"') FROM information_schema.COLUMN_STATISTICS WHERE SCHEMA_NAME = 'mls' AND TABLE_NAME =' office';': Unknown table 'COLUMN_STATISTICS' in information_schema (1109)

It seems that the version of mysqldump used by MySQL Workbench is not compatible with the version of the server.

You can now unpack MariaDB's ZIP package and send it to your local machine.

Then configure the dump program that comes with MariaDB on MySQL Workbench.

Https://www.cwiki.us/display/MariaDB/questions/41680979/mariadb-%E6%9C%8D%E5%8A%A1%E5%99%A8%E5%9C%A8-mysql-workbench-%E5%A4%87%E4%BB%BD%E6%95%B0%E6%8D%AE%E7%9A%84%E6%97%B6%E5%80%99%E5%87%BA%E9%94%99