[23:12:51] <Krinkle>	 legoktm: I'm thinking of rewriting the (unused) GadgetDefinitionNamespaceRepo to instead use `MediaWiki:Gadgets-<id>.json` pages, and keep the gadget resources in their current place. this is largely in sight of how MediaWiki:BlockedExternalDomains.json is going, and what Community Config appears to be doing. I.e. encourage SpecialPage UIs but store data in the expected/core place instead of creating new novel places and namespaces for 
[23:12:51] <Krinkle>	 this.
[23:12:57] <Krinkle>	 also in sight of https://gerrit.wikimedia.org/r/c/mediawiki/extensions/Gadgets/+/826956
[23:13:15] <Krinkle>	 That would remove the empty Gadget and Gadget_definition namespaces.
[23:13:21] <Krinkle>	 Thoughts?
[23:13:40] <NovakWatchmen>	 Hello, a question for Phabticator. How to create a workboard for a project that I'm a member of? It seems I don't have sufficient permission for such an action.
[23:14:27] <NovakWatchmen>	 *Phabticator