[00:13:43] the key was only added to extension.json a few days ago - https://github.com/wikimedia/mediawiki-extensions-WikiLambda/commit/22dcaee8c7f8118ba89fdea6af8106659169045a [00:14:36] (which is what determines which messages are made available to javascript) [00:15:19] so I assume it'll start working next time the servers are updated [00:27:48] oh, interesting [16:53:12] We need your input! [16:53:13] [16:53:15] As you know, currently the ability to hand out the "Functioneer" user group is being handled by Wikifunctions staff, but we want to transfer the granting (and removal) of this right from us to the community in the coming months. For this, we are hoping that we all could agree on a set of policies and expectations that we would all look to Functioneers to uphold and encourage. [16:53:16] [16:53:18] The discussion is currently opened at the Project Chat: https://www.wikifunctions.org/wiki/Wikifunctions:Project_chat#Your_input_needed:_Functioneer_role_definition_&_policies [16:53:19] [16:53:21] Please, have your say!