Convert Thanks extension to use extension.json
See https://phabricator.wikimedia.org/T87980
The Thanks extension needs to be converted to use the new extension registration system: https://www.mediawiki.org/wiki/Extension:Thanks
Basic documentation about the extension registration system is at https://www.mediawiki.org/wiki/Extension_registration
The convertExtensionToRegistration.php script can be used to create an extension.json file, though it may not work perfectly and could trigger errors. Use the validateRegistrationFile.php script to make sure your script follows the correct schema.
The PHP entry point should be archived and any i18n shims removed.
Please add Legoktm as a reviewer in Wikimedia Gerrit to conversion patches and feel free to ask him if something is unclear, some documentation is missing, etc.
Students must first read and understand Wikimedia's general instructions before claiming this task - see https://www.mediawiki.org/wiki/Google_Code-in_2015#Instructions_for_GCI_students