Extension data uploader

Tool to upload extension data to mediawiki.org in a format that's accessible to templates

bot extensions

  • Brian Wolff
  • GergÅ‘ Tisza
  • Samwilson