upgrade to Mediawiki 1.16.0

Decided to do an upgrade of Mediawiki to 1.16.0 (howto). As expected (see also: never change a running system) some problems appeared - known ones so far are:

• Done wikilog 0.6.5 throws error: Fatal error: Call to undefined method Title::userCanEdit() in .../extensions/wikilog_revision_411/WikilogPager.php on line 132
  • fix: upgrade to: 0.8.2 and then to a current version (1.1.0)
  • much thanks to Juliano, who answered prompt and what counts: with a working solution
• thumbnail problem: Error creating thumbnail: convert: unrecognized option `-set'.
  • Done quick hack: "Try switching $wgUseImageMagick to false in LocalSettings.php. This will make the software use the GD library instead." [3]
• "Fatal error: Class 'FileStore' not found in /extensions/DeletePagePermanently/DeletePagePermanently.php on line 262" [4]
  • upgrade extension

sidenote: is it just me or is the wiki faster?

edit 2010-08-30: this was actually the reason why I upgraded.

see also

• upgrade to Mediawiki 1.17.0