Merge "preferences: Add typehint in saveFormData() for PreferencesFormOOUI"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 3 Sep 2019 17:41:35 +0000 (17:41 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 3 Sep 2019 17:41:35 +0000 (17:41 +0000)
commit925a865a01213b746d0da1d3ba30a6bc096c3036
tree263c501779d6d9ed7bdca65e3f31e65116a9f9c6
parent95d97f6f4231e213e860c7e71efe9bebdbe23a5f
parented398c0253e36f85d39452b00d3273867fe0b8ef
Merge "preferences: Add typehint in saveFormData() for PreferencesFormOOUI"