Formatting xml code on the wiki

Website
1

@Patrick Do you know of any sane way to preserve xml code formatted snippets on mediawiki?

I’ve tried many things and they all look hideous.

2

No. Seems something is broken in mediawiki that eats leading spaces in
the <pre> tag.

//cc @fortasse @ego any idea?

3

fix mediawiki eating leading spaces in <pre> tag
https://phabricator.whonix.org/T613

4

make our mediawiki's CodeSelect compatible with |
https://phabricator.whonix.org/T614