[00:22:15] <bd808>	 mediawiki-vendor-integration takes 6+ minutes to run. :(
[23:21:18] <wikibugs>	 3Wikimedia Labs / 3deployment-prep (beta): Beta: Gadgets tab is missing - 10https://bugzilla.wikimedia.org/71988 (10se4598) 3NEW p:3Unprio s:3normal a:3None On (dewiki) beta labs the gadget tab is suddenly missing in the preferences, but the extension is still listed at Special:Version.  Possible cau...
[23:23:30] <wikibugs>	 3Wikimedia Labs / 3deployment-prep (beta): Beta: Gadgets tab is missing - 10https://bugzilla.wikimedia.org/71988 (10se4598)