Wikimedia Bugzilla is closed!

I was deploying when about 6 of these scrolled by in the fatal log:

[2014-04-16 23:25:21] Fatal error: Call to undefined method ProofreadPageDifferenceEngine::getWarningMessageText() at /usr/local/apache/common-local/php-1.23wmf22/extensions/MobileFrontend/includes/specials/SpecialMobileDiff.php on line 179
Server: mw1051
Method: GET
URL: http://en.wikisource.org/wiki/Special:MobileDiff/4864647...4865767
Cookie: <Redacted, but the user was logged in>
Backtrace:
#0 /usr/local/apache/common-local/php-1.23wmf22/extensions/MobileFrontend/includes/specials/SpecialMobileDiff.php(179): SpecialMobileDiff->showDiff()
#1 /usr/local/apache/common-local/php-1.23wmf22/extensions/MobileFrontend/includes/specials/SpecialMobileDiff.php(105): SpecialMobileDiff->showDiff()
#2 /usr/local/apache/common-local/php-1.23wmf22/extensions/MobileFrontend/includes/specials/MobileSpecialPage.php(39): SpecialMobileDiff->executeWhenAvailable('4864647...48657...')
#3 /usr/local/apache/common-local/php-1.23wmf22/includes/specialpage/SpecialPage.php(379): MobileSpecialPage->execute('4864647...48657...')
#4 /usr/local/apache/common-local/php-1.23wmf22/includes/specialpage/SpecialPageFactory.php(503): SpecialPage->run('4864647...48657...')
#5 /usr/local/apache/common-local/php-1.23wmf22/includes/Wiki.php(285): SpecialPageFactory::executePath(Object(Title), Object(RequestContext))
#6 /usr/local/apache/common-local/php-1.23wmf22/includes/Wiki.php(588): MediaWiki->performRequest()
#7 /usr/local/apache/common-local/php-1.23wmf22/includes/Wiki.php(447): MediaWiki->main()
#8 /usr/local/apache/common-local/php-1.23wmf22/index.php(46): MediaWiki->run()
#9 /usr/local/apache/common-local/w/index.php(3): require('/usr/local/apac...')
#10 {main}