MediaWiki update
This is the thread's initial revision.
So I updated MediaWiki to 1.19 and the LiquidThreads extension. The MediaWiki update script failed when dropping some index after updating LiquidThreads, but everything seems to be working (and wasn't before running the script), so I'm hoping everything's ok and please just let me know if you see any problems. The update script ran OK for just the MediaWiki upgrade, but some things were still broken due to the LiquidThreads incompatibility. Everything's backed up so I'm not too worried - I think it's mainly LiquidThreads that might be messed up.
The wiki font is also back to default size. I'm leaving it for the moment but let me know what you guys think - I'm not sure if I was the only one that wanted it bigger before anyway.
We need PHP 5.3.6 for MediaWiki 1.20, and for that I think we need to upgrade Ubuntu, so that won't happen until I can coordinate that with David.
