Convert messages to the JSON format by using the maintenance tool generateJsonI18n.php