Mediawiki git installation guide: Difference between revisions

@@ Line 15: / Line 15: @@
 第五步，把上边生成的 LocalSettings.php 放进 mediawiki 文件夹
-第六步，下载 extensions：<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：<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]]