wikimedia/mediawiki-extensions-CiteThisPage
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CiteThisPage synced 2024-11-27 17:00:15 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CiteTh.../includes
History
Umherirrender 43058c38a2 Use ParserOptions::newFromContext on special page 
ParserOptions::newFromUser would use/unstub the global $wgLang,
avoid this when already have a context source available

Change-Id: I7ba7f83742837c1ef5ee7c5e5d2a8728de851d4b
2023-02-23 21:59:01 +01:00
..
Hooks.php docs: Fix typo in 'wgCiteThisPageAdditionalNamespaces' reference 2021-12-06 19:10:05 +01:00
SpecialCiteThisPage.php Use ParserOptions::newFromContext on special page 2023-02-23 21:59:01 +01:00