wikimedia/mediawiki-extensions-CiteThisPage
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CiteThisPage synced 2024-12-19 02:30:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CiteTh.../includes
History
Umherirrender 62239e374c Replace empty() with a null compare 
empty() should only be used to suppress errors
Found by a new phan plugin (T234237)

Change-Id: Ibe5f9c974692d9a0eeb386ca92534f7c37c23ed3
2023-10-21 20:51:59 +02:00
..
Hooks.php Replace empty() with a null compare 2023-10-21 20:51:59 +02:00
SpecialCiteThisPage.php Replace some moved Title class uses, now MediaWiki\Title\Title 2023-08-19 14:06:52 +00:00