Merge "ApiOptions: fix resetting some preferences to default"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 2 Oct 2018 01:06:20 +0000 (01:06 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 2 Oct 2018 01:06:20 +0000 (01:06 +0000)
commiteee5e4128000af967ca060d735e77fd425177648
treefc784ba7287765abac58cbfb31e3e202f836ea07
parent628fccb967b99ed7e84127da42f320274378b2e9
parent3ea7bba4d46ba5869fd989867638d970bd5dee2f
Merge "ApiOptions: fix resetting some preferences to default"