wikimedia/mediawiki-extensions-CiteThisPage
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CiteThisPage synced 2024-11-15 03:33:55 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CiteTh.../includes
History
Timo Tijhof 5dd1963eee docs: Fix typo in 'wgCiteThisPageAdditionalNamespaces' reference 
Follows-up I2523bd9124ab8998a.

Change-Id: I712fab429cf3bce04ef08e52ef187fb16eead84e
2021-12-06 19:10:05 +01:00
..
Hooks.php docs: Fix typo in 'wgCiteThisPageAdditionalNamespaces' reference 2021-12-06 19:10:05 +01:00
SpecialCiteThisPage.php Fix all PHPCS excludes 2021-03-31 14:10:38 +00:00