Lucas Werkmeister 799716d78f Remove unneeded isset() before unset() ... unset() does not throw an error if the value to be unset does not exist in the first place, so guarding it with an isset() check is unnecessary. Remove a few ifs that didn’t do anything else. Change-Id: Ie5493c8a4c4d25e12a029d0257374527cd12303d		2020-11-10 16:52:14 +01:00
..
Hook	Document hook names in hook interfaces.	2020-09-27 12:03:12 +02:00
DefaultPreferencesFactory.php	Remove unneeded isset() before unset()	2020-11-10 16:52:14 +01:00
Filter.php	Fix typo in docs	2019-05-31 00:07:34 -04:00
IntvalFilter.php	Introduce preference filters	2018-07-17 13:19:14 -07:00
MultiTitleFilter.php	MultiTitleFilter: Use prefixed text for form display	2020-06-02 12:23:35 +00:00
MultiUsernameFilter.php	Finish sentence in MultiUsernameFilter documentation	2019-05-28 18:54:18 +01:00
PreferencesFactory.php	Replace "@stable for implementation" with "@stable to implement"	2020-07-13 11:05:49 +02:00
SignatureValidator.php	SignatureValidator: Tweaks to linter error messages	2020-08-05 00:52:18 +02:00
TimezoneFilter.php	build: Updating mediawiki/mediawiki-codesniffer to 32.0.0	2020-10-28 20:06:22 +00:00