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.../includes
History
Umherirrender ab31a3741e Special:CiteThisPage only works on existing pages 
This avoids the error message citethispage-badrevision
with "revision 0" text

Change-Id: Ifab27624d70d65f07c2eff11c883701e1192c26d
2021-03-06 21:51:09 +01:00
..
Hooks.php Namespace extension 2021-02-11 02:03:06 +00:00
SpecialCiteThisPage.php Special:CiteThisPage only works on existing pages 2021-03-06 21:51:09 +01:00