User:Bawolff bot

From mediawiki.org

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

See wikitech:Tool:Extjsonuploader for more info.