wikimedia/mediawiki-extensions-CiteThisPage
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CiteThisPage synced 2024-12-27 06:22:51 +00:00
Code Issues Packages Projects Releases Wiki Activity
1527 commits 13 branches 20 tags 15 MiB
Commit graph

2 commits

Author SHA1 Message Date
Siebrand Mazeland c0082dd7a6 Update identation to use tabs 
Change-Id: I601a67d9f551d233f34c36b8e1e3ec0fe2c1542f
 2015-10-12 09:06:26 +02:00
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