Thread:Project:Support desk/Importing mediawiki 1.11.2 into 1.13.3/reply

There should be an update script (update.php) in the maintenance directory. Try running it from the command line.