欢迎访问我的独立博客
2017年8月31日
mediawiki常用设置
摘要： 修改mediawiki的logo图标 在LocalSettings.php文件中添加或修改以下代码： //$wgLogo = "$wgStylePath/common/images/wiki.png"; 新版已变成resources/assets/wiki.png $wgLogo = "$wgSty 阅读全文
posted @ 2017-08-31 14:10 github.com/starRTC 阅读(1485) 评论(0) 推荐(0) 编辑