Merge "RCFilters: Make 'days' and 'limit' sticky"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 5 Dec 2017 11:46:36 +0000 (11:46 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 5 Dec 2017 11:46:37 +0000 (11:46 +0000)
commit490035943c8a2baca02530bcecb7542feb1eea3e
tree483f135e22bec3ef9b6a8d770b30789b8ac811a0
parent847bc2b8d7756c36551a768f5cf0d36bc50705b6
parent86d1c0bc0079d9f117aa48b8538343834731190b
Merge "RCFilters: Make 'days' and 'limit' sticky"
includes/Preferences.php