Mediawiki git installation guide: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 15: | Line 15: | ||
第五步，把上边生成的 LocalSettings.php 放进 mediawiki 文件夹 | 第五步，把上边生成的 LocalSettings.php 放进 mediawiki 文件夹 | ||
第六步，下载 | 第六步，下载 extension：<code>git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/<EXT> --branch REL1_42</code>。 <EXT> 名字区分大小写。下载下来按照该 extension 的主页教程配置即可。[https://gerrit.wikimedia.org/r/admin/repos 所有 extension 的地址]，在 Filter 框中填地址。点进 extension 详情，还能查看不同时段的 git head | ||
或者，第六步，下载 extension： | |||
<syntaxhighlight lang="bash" line> | |||
git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/Elastica | |||
git tag | sort -V | tail -5 | |||
git checkout ... | |||
</syntaxhighlight> | |||
[[Category: MediaWiki]] | [[Category: MediaWiki]] | ||