wikimedia/mediawiki-extensions-CiteThisPage
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CiteThisPage synced 2024-11-15 11:45:23 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CiteTh.../.gitreview
James D. Forrester 7c705dbac3 Rename to "CiteThisPage", make Special:CiteThisPage the primary location 
Also remove vestiges of the Cite extension from when this used to live in
the same repo.

Change-Id: I17dfad706d46afb452e8ff29140834174470b398
2014-08-30 15:29:33 -07:00

6 lines
113 B
Plaintext
Raw Blame History

[gerrit]
host=gerrit.wikimedia.org
port=29418
project=mediawiki/extensions/CiteThisPage.git
defaultbranch=master
Reference in a new issue View git blame Copy permalink