wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-09-23 10:20:33 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-InputBox/includes
History
Fomafix b1e2979b48 Update PHP coding style 
* Use ' instead of ".
* Use === and !== instead of == and !=.

Change-Id: Ie4e405d4fd739d4af34010da3687d8a75d846a73
2021-10-16 20:10:22 +00:00
..
InputBox.php Update PHP coding style 2021-10-16 20:10:22 +00:00
InputBoxHooks.php Update PHP coding style 2021-10-16 20:10:22 +00:00