mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CiteThisPage
synced 2024-11-23 15:16:46 +00:00
7c705dbac3
Also remove vestiges of the Cite extension from when this used to live in the same repo. Change-Id: I17dfad706d46afb452e8ff29140834174470b398 |
||
---|---|---|
i18n | ||
modules | ||
.gitignore | ||
.gitreview | ||
CiteThisPage.alias.php | ||
CiteThisPage.i18n.php | ||
CiteThisPage.php | ||
COPYING.txt | ||
SpecialCiteThisPage.php |