User:Bawolff bot

From mediawiki.org

Currently it syncs extension.json to wiki. It runs ever 2 hours

See wikitech:Tool:Extjsonuploader for more info.