“Media-wiki”的版本间的差异
来自qingwei personal wiki
(→代码高亮) |
|||
第6行: | 第6行: | ||
== 代码高亮 == | == 代码高亮 == | ||
<pre> | <pre> | ||
− | <source lang="javascript" line start="2" highlight="4-6"></source> | + | <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> | ||
</pre> | </pre> | ||
<source lang="javascript" line start="2" highlight="4-6"> | <source lang="javascript" line start="2" highlight="4-6"> |
2017年12月1日 (五) 08:25的版本
换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 }