[18:34:18] <wm-bb>	 <gtisza> it's hitting the size limit (re @jhsoby: @gtisza @freosam Hi, [[wikitech:Tool:Extjsonuploader]] says you are two of that tool's maintainers. Just wanted to notify you th...)
[18:41:22] <wm-bb>	 <Thecladis> Time to minify? :)
[18:51:51] <wm-bb>	 <gtisza> Filed https://phabricator.wikimedia.org/T315923 and https://phabricator.wikimedia.org/T315922
[18:53:33] <wm-bb>	 <gtisza> I guess we could compress it but seems like a horrible hack and would eventually still run into some kind of resource limit. I don't think there's any current use case for fetching the data of more than one extension at a time so splitting should be simple.
[21:56:32] <wm-bb>	 <xqt> Pywikibot 7.6 stable release was published. https://doc.wikimedia.org/pywikibot/stable/changelog.html