wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-11-14 11:17:15 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Scribunto/includes
History
Thiemo Kreuz 0860648680 Remove unused defaults from class properties 
As well as:
* Remove redundant `=== null`. The `isset()` before does this already.
* Use convenient PHPUnit shortcuts.

Change-Id: Ibef571e53a48c443d7798fee8abbc2624fbad225
2022-05-21 18:45:52 +00:00
..
engines Remove unused defaults from class properties 2022-05-21 18:45:52 +00:00
ApiScribuntoConsole.php Start namespacing extension 2022-05-12 01:33:11 +00:00
Hooks.php Start namespacing extension 2022-05-12 01:33:11 +00:00
Scribunto.php Start namespacing extension 2022-05-12 01:33:11 +00:00
ScribuntoContent.php Start namespacing extension 2022-05-12 01:33:11 +00:00
ScribuntoContentHandler.php Start namespacing extension 2022-05-12 01:33:11 +00:00
ScribuntoEngineBase.php Start namespacing extension 2022-05-12 01:33:11 +00:00
ScribuntoException.php Start namespacing extension 2022-05-12 01:33:11 +00:00
ScribuntoModuleBase.php Start namespacing extension 2022-05-12 01:33:11 +00:00