wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-11-23 22:54:02 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-InputBox/includes
History
Umherirrender adbfb14047 Remove isset() from InputBox::mLabelText 
The class property is declared and defined to be string,
the extra null check from isset() is not needed here.

Change-Id: Ia2815a2a5df897efde3ace3fac87a85c69ac46ba
2024-03-25 20:51:14 +01:00
..
InputBox.php Remove isset() from InputBox::mLabelText 2024-03-25 20:51:14 +01:00
InputBoxHooks.php build: Fix doc type on MediaWikiPerformActionHook 2024-01-05 21:04:05 +01:00