Debugging MediaWiki：全局默认值''；对于字段editfont无效

有人看到并知道此错误的含义和/或如何修复它吗？我将其放在谷歌搜索中，它似乎不是任何人通常会遇到的问题：

Global default '' is invalid for field editfont Backtrace: #0 /srv/http/SupportWiki/includes/Preferences.php(1152): Preferences::getPreferences(Object(User)) #1 /srv/http/SupportWiki/includes/specials/SpecialPreferences.php(43): Preferences::getFormObject(Object(User)) #2 /srv/http/SupportWiki/includes/SpecialPage.php(559): SpecialPreferences->execute(NULL) #3 /srv/http/SupportWiki/includes/Wiki.php(254): SpecialPage::executePath(Object(Title)) #4 /srv/http/SupportWiki/includes/Wiki.php(64): MediaWiki->handleSpecialCases(Object(Title), Object(OutputPage), Object(WebRequest)) #5 /srv/http/SupportWiki/index.php(117): MediaWiki->performRequestForTitle(Object(Title), NULL, Object(OutputPage), Object(User), Object(WebRequest)) #6 {main} 全局默认值“”对于字段editfont无效 回溯： #0/srv/http/SupportWiki/includes/Preferences.php（1152）：Preferences:：getPreferences（对象（用户）） #1/srv/http/SupportWiki/includes/specials/SpecialPreferences.php（43）：首选项：：getFormObject（对象（用户）） #2/srv/http/SupportWiki/includes/SpecialPage.php（559）：SpecialPreferences->execute（NULL） #3/srv/http/SupportWiki/includes/Wiki.php（254）：SpecialPage:：executePath（对象（标题）） #4/srv/http/SupportWiki/includes/Wiki.php（64）：MediaWiki->handleSpecialCases（对象（标题）、对象（输出页面）、对象（WebRequest）） #5/srv/http/SupportWiki/index.php（117）：MediaWiki->performRequestForTitle（对象（标题）、NULL、对象（输出页面）、对象（用户）、对象（WebRequest）） #6{main}

---

我运行的是MediaWiki 1.16.0。我升级到MediaWiki 1.16.2，解决了这个问题。

无论如何，我找不到1.16.x小升级的变更日志。从作者网站上看，他们似乎希望您区分补丁文件以查看发生了什么变化。