Delete mediawiki/extensions/ValueView from gerrit, it was never used and there is currently no plan to use it.
Description
Description
Status | Subtype | Assigned | Task | |
---|---|---|---|---|
· · · | ||||
Resolved | JanZerebecki | T112120 [Task] Move ValueView repository from github to gerrit | ||
Duplicate | None | T114649 delete mediawiki/extensions/ValueView from gerrit | ||
· · · |