Thread:Project:Support desk/upgrading MediaWiki to Version 1.17.2/reply (4)

If you're using the web updater, try the command line updater instead (update.php). The web updater has some issues with larger wikis.