Hello, I ran into the same bug today. Problem was that I had a '$IP = "/var/lib/mediawiki1.7";' in my LocalSettings.php config file, so the update.php script was trying to include files from mediawiki1.7 where wfWikiID() is not defined. The automatic update script did not detect this and failed.
-- Lucas -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
