分类:在版本1.12.0中引进的MediaWiki配置设置