Hello! I hope that this message finds you well. I'm contacting you as you're listed as the author of Extension:BatchUserRights. I have uploaded a patch for that extension at https://gerrit.wikimedia.org/r/#/c/391554/ to migrate it to the new extension registration format. I wonder if you'd like to have a look at it. Unfortunately I couldn't add you as reviewer directly on Gerrit. Your account does not seem to exist there. Probably the patch is awful and needs some work. I'm such a noob... Best regards.
Hello again, Sean. The above issue is resolved but we're discussing at https://phabricator.wikimedia.org/T180668 which licensing the extension has, as Extension:BatchUserRights does not mention any. As author, could you please clarify this? Best regards.
Cool... responded there. I wrote it when I worked at Wikia so I think that makes it GPLv3+ automatically.