wikimedia/mediawiki-extensions-CiteThisPage
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CiteThisPage synced 2024-11-30 18:34:24 +00:00
Code Issues Packages Projects Releases Wiki Activity
1890 commits 11 branches 20 tags 14 MiB
Commit graph

4 commits

Author SHA1 Message Date
Derick Alangi d60de7d63a Avoid usage of deprecated $wgContLang global (dep in 1.32) 
Change-Id: I3c5413392871d11cf363db6f88ee80ac030daabb
 2019-09-02 10:33:19 +01:00
DannyS712 412f1ed66e Add help links to extension's special pages 
Bug: T230520
Change-Id: Id5b50b9c5486c4c26fba8e99ad85a13dadfad0b4
 2019-08-15 01:46:23 +00:00
Aaron Schulz 687af3d4a4 Make SpecialCiteThisPage use setInterfaceMessage() option for parse() calls 
Change-Id: I1809354055513a5b9d9589e2d6acda7579af76e2
 2019-03-09 10:48:54 -08:00
Kunal Mehta 14c37dd760 Move classes into includes/ 
Change-Id: I1aa22e05f5968d7e099bdc738ce54ec0d12c31d1
 2018-02-09 18:37:58 +00:00
Renamed from SpecialCiteThisPage.php (Browse further)