“Media-wiki”的版本间的差异

2017年12月1日 (五) 08:33的版本

换logo

修改LocalSettings.php的配置
$wgLogo = "$wgResourceBasePath/resources/assets/wiki.png";
对应位置： /var/www/html/resources/assets

换logo

修改LocalSettings.php的配置
$wgLogo = "$wgResourceBasePath/resources/assets/wiki.png";
对应位置： /var/www/html/resources/assets

代码高亮

<source lang="javascript" line start="2" highlight="4-6">
// SyntaxHighlighter makes your code snippets beautiful without tiring your servers.
// http://alexgorbatchev.com
var setArray = function(elems) {
    this.length = 0;
    push.apply(this, elems);
    return this;
}
</source>

2 // SyntaxHighlighter makes your code snippets beautiful without tiring your servers.
3 // http://alexgorbatchev.com
4 var setArray = function(elems) {
5     this.length = 0;
6     push.apply(this, elems);
7     return this;
8 }