The REST API component of the MariaDB-Manager