[e-lang] Peculiar wiki code conversion bug

[Martin Scheffler]

>
> Is this easily fixed, or should I just manually fix all the cases I find? (At
> the moment, from incomplete automated testing, it looks like there may only be
> a moderate number of these.)

It seems like MediaWiki escapes all HTML entities in <pre> tags and
ignores <nowiki> tags.
When I use <code> instead of <pre>, it seems to work.
I don't think there were many occurences of this problem, but:
In the safe serialization paper (and I guess in most other pages in
erights.org), there is syntax highlighted E code. I simply removed
that on the two pages I converted from that paper.
Is that OK or is syntax highlighting an essential feature? If someone
is REALLY bored, he could probably write an E syntax highlighter for
MediaWiki :)

Cheers,
Martin

______________________________________________________________________________
"Ein Herz für Kinder" - Ihre Spende hilft! Aktion: www.deutschlandsegelt.de
Unser Dankeschön: Ihr Name auf dem Segel der 1. deutschen America's Cup-Yacht!