Pages for logged out editors learn more
Navigation
Support
Development
MediaWiki.org
Tools
Print/export
In other languages
如果此时尚未初始化该标志,该标志会在DefaultSettings.php中自动设置为false。 它在某些命令行运行的维护脚本中设置为true。