JSON_PRETTY was added as an alias for JSON_DETAILED in MariaDB 10.10.3,
MariaDB 10.9.5, MariaDB 10.8.7, MariaDB 10.7.8, MariaDB 10.6.12, MariaDB
10.5.19 and MariaDB 10.4.28.

URL: https://mariadb.com/kb/en/json_pretty/