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

来自qingwei personal wiki
跳转至: 导航搜索
第1行: 第1行:
== 换logo ==
+
= 换logo =
 
 修改LocalSettings.php的配置<br />
 
 修改LocalSettings.php的配置<br />
 
$wgLogo = "$wgResourceBasePath/resources/assets/wiki.png";<br />
 
$wgLogo = "$wgResourceBasePath/resources/assets/wiki.png";<br />
 
 对应位置: /var/www/html/resources/assets
 
 对应位置: /var/www/html/resources/assets
  
== 代码高亮 ==
+
= 代码高亮 =
 
<pre>
 
<pre>
 
<source lang="javascript" line start="2" highlight="4-6">
 
<source lang="javascript" line start="2" highlight="4-6">

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

修改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 }