preferences: Add typehint in saveFormData() for PreferencesFormOOUI
authorDaimona Eaytoy <daimona.wiki@gmail.com>
Mon, 2 Sep 2019 16:13:02 +0000 (16:13 +0000)
committerDaimona Eaytoy <daimona.wiki@gmail.com>
Tue, 3 Sep 2019 17:11:30 +0000 (17:11 +0000)
commited398c0253e36f85d39452b00d3273867fe0b8ef
treedb3bc5dd2591d70c9cb5d566ecaee074c56c276c
parent0e8afecabc6957970325c213aec75267ae45487f
preferences: Add typehint in saveFormData() for PreferencesFormOOUI

This was temporarily removed in 3bcf5655870f for compat with
the GlobalPreferences extension. The old typehint of HTMLForm
was incorrect (as discovered by a Phan rule that was disabled
for core), because getModifiedUser() only exists in the
PreferencesFormOOUI subclass.

Change-Id: I792286ed44f03467b5d875e61c52b1953252b55f
Depends-On: I4fa3e6aad872434ca397325ed7a83f94973661d0
includes/preferences/DefaultPreferencesFactory.php