Media-wiki

換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 }