media wiki upgraded


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