component: main package: mediawiki-extension-codemirror section: misc version: 4.0.0~git20221204.b897975-1