[00:22:03] Voting in the WMF board election is now open: https://meta.wikimedia.org/wiki/Wikimedia_Foundation_elections/2022/Community_Voting [00:57:11] We could keep a Module:ExtensionData as an index to them all, and then have individual Module:ExtName_Data for each one. That way, it's still possible to make things that use data from all of them. (re @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 d...) [00:57:40] Anyway, for now I've done https://gerrit.wikimedia.org/r/c/labs/tools/extjsonuploader/+/825429 which at least in my local has got it down under the required size. [00:58:13] There's still lots more space saving we do too, e.g. I don't think anything is using the hook class names (still useful to have the hook names of course). [01:51:46] <第五佳懿> svy t.me/+SBku3qAEmcQ0OWM1 [09:30:42] I saw the GitHub patch. Thanks. When is it deployed to production? (re @bd808: @amire80 mkdocs-material just made a new release, so I should be able to deploy it on Thursday in my normal window for updating ...) [12:14:34] @amire80 it should go out Thursday. I have a standing deployment window for Technical Engagement things then. [17:08:53] @amire80: Your Hebrew translation fixes are on the developer portal testing server now if you would like to verify them: . [17:16:48] Looks good! The "next" and "previous" strings are correct now. Thanks! (re @wmtelegram_bot: @amire80: Your Hebrew translation fixes are on the developer portal testing server now if you would like to verify them:...) [17:17:17] I'll add a note about it to the translatewiki project page of the Developer Portal. [18:27:50] Have anyone seen a userscript that unfolds the "user tools" (Talk page link, Contributions, Preferences etc) in Vector 2022 to something that looked like it did before? I have a very wide screen so I have the space and the extra click annoys me surprisingly much