[arch-dev-public] MediaWiki updated

[Pierre Schmitz]

Hi all,

I updated MediaWiki due to some security issues. I hope you don't mind 
that it will look a little different from the other sites for a short 
time...but I didn't really want to create a new branch just for this.

There is a strange problem though: all links are underlined if you are 
logged in. I don't see this effect locally or on wiki.archlinux.de with 
the same wiki. Did I miss anything? Some strange caching?

Greetings,

Pierre

--
Pierre Schmitz, https://users.archlinux.de/~pierre