JanZerebecki added a comment. As long as there is no Mediawiki Extensions registry with an installer, it is in general a good idea, but is not something that was done for all extensions, so if anyone works on this it is probably a good idea to fix it for all gerrit hosted extensions.
TASK DETAIL https://phabricator.wikimedia.org/T103255 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: JanZerebecki Cc: JanZerebecki, Aklapper, Tamslo, Wikidata-bugs, aude, Malyacko, P.Copp _______________________________________________ Wikidata-bugs mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs
