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 | ||
| · · · |