media wiki upgraded

Upgraded to mediawiki 1.5.2 — all seems to be working, but do notify us if it isn’t.


Categories