[06:50:23] <wm-bb>	 <Toby> the javascript Debug.Wikifunctions() doesn't seem to be working at the moment. Is this a bug? Z12944
[19:34:00] <wm-bb>	 <vrandecic> Huh, that's not great. Filed a bug: https://phabricator.wikimedia.org/T368312
[19:34:14] <wm-bb>	 <vrandecic> Thanks for letting us know!