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