I've updated my MediaWiki to r72881 and run update.php. When I now try to use PHP I get the error:
Fatal error: Call to undefined method User::usedOptions() in <path to wiki>\wiki\includes\parser\ParserCache.php on line 175
Version: unspecified
Severity: blocker
OS: Windows Vista
Platform: PC
URL: http://wiki.smallbusiness-webdesign.de/index.php