Almost all extensions define their ResourceLoader modules in the JSON format, as part of their extension.json files. MediaWiki core, however, defines them in PHP, in the Resources.php file.
I think we should convert it to a JSON file with the same content (or as close as possible), to make it easier for developers familiar with extensions to contribute to MediaWiki core.