wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-12-04 20:58:13 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Scribunto/includes/engines
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
..
LuaCommon Remove unused defaults from class properties 2022-05-21 18:45:52 +00:00
LuaSandbox Minor cleanup 2022-04-16 22:09:10 +01:00
LuaStandalone Start namespacing extension 2022-05-12 01:33:11 +00:00