diff options
| author | Daimona Eaytoy <daimona.wiki@gmail.com> | 2019-09-02 16:13:02 +0000 |
|---|---|---|
| committer | Daimona Eaytoy <daimona.wiki@gmail.com> | 2019-09-03 17:11:30 +0000 |
| commit | ed398c0253e36f85d39452b00d3273867fe0b8ef (patch) | |
| tree | db3bc5dd2591d70c9cb5d566ecaee074c56c276c /maintenance/wrapOldPasswords.php | |
| parent | 0e8afecabc6957970325c213aec75267ae45487f (diff) | |
| download | mediawikicore-ed398c0253e36f85d39452b00d3273867fe0b8ef.tar.gz mediawikicore-ed398c0253e36f85d39452b00d3273867fe0b8ef.zip | |
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
Diffstat (limited to 'maintenance/wrapOldPasswords.php')
0 files changed, 0 insertions, 0 deletions