Jump to content

User talk:Dantman/Code Ideas

Add topic
From mediawiki.org

Re: extensions.php maintenance script

[edit]

Requests_for_comment/Improving_extension_management got extension.json files merged in some extensions. Can your "temporary aid" benefit from that? --Nemo 08:33, 13 February 2015 (UTC)Reply

It already is. Extensions with an extension.json have their .name, .description, and .version (only as a hint to say an old manually installed extension is out of date) extracted. And I was part way through reading i18n en.json data to support .namemsg and .descriptionmsg.
I think I might support a ??? search command and use that data when available.
~ Daniel Friesen (Dantman) (talk) 09:41, 13 February 2015 (UTC)Reply
Good, thanks. --Nemo 09:47, 13 February 2015 (UTC)Reply