Formatting xml code on the wiki

@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.

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

//cc @fortasse @ego any idea?

fix mediawiki eating leading spaces in <pre> tag

make our mediawiki's CodeSelect compatible with |