分类:在版本1.25.0中移除的MediaWiki配置设置