jayvdb added a comment.
To get the exact name of the extension according to the API, use the API query called 'siteinfo', and prop called 'extensions'
https://www.mediawiki.org/wiki/API:Meta#siteinfo_.2F_si
http://www.wikia.com/api.php?format=jsonfm&action=query&meta=siteinf...
TASK DETAIL https://phabricator.wikimedia.org/T77968
REPLY HANDLER ACTIONS Reply to comment or attach files, or !close, !claim, !unsubscribe or !assign <username>.
EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/
To: Omegat, jayvdb Cc: Aklapper, jayvdb, XZise, Grunny, pywikipedia-bugs