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