Merge "Special:Preferences: Split up "Advanced options" on watchlist and RC tabs"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 14 Nov 2018 20:52:39 +0000 (20:52 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 14 Nov 2018 20:52:39 +0000 (20:52 +0000)
commitbf1354fae5e15fecbb0f17800717bc830ad3c2f1
tree7de92cd816e11a273459f37bcc4eceba3c35c2f3
parent4d8b27e93ce2441b81d7e941f77a70dab39190f6
parentf526b303057b71849015469be3354f8c6ea67c91
Merge "Special:Preferences: Split up "Advanced options" on watchlist and RC tabs"