Skip to content

Remove dead mediawiki runner

Alexander Lohnau requested to merge work/cleanup_dead_mediawiki into master

The runner was excluded from the build for years and nobody missed it. Consequently we should just delete it.

Edit: I also want to mention that the KDE websites can be easily queried using the webshortcuts. So this runner is pretty much replaced anyways.

@ngraham @apol @kossebau @davidedmundson

Edited by Alexander Lohnau

Merge request reports