[aur-requests] [PRQ#1747] Merge Request for mediawiki-ext-codeeditor-git

Araeos [1] filed a request to merge mediawiki-ext-codeeditor-git [2] into mediawiki-codeeditor-git [3]: Shortened package name. [1] https://aur.archlinux.org/account/Araeos/ [2] https://aur.archlinux.org/pkgbase/mediawiki-ext-codeeditor-git/ [3] https://aur.archlinux.org/pkgbase/mediawiki-codeeditor-git/