media wiki upgraded

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

This entry was posted in Code. Bookmark the permalink.