Merge "SpecialPreferences: Make save button bar sticky"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 27 Nov 2018 21:39:50 +0000 (21:39 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 27 Nov 2018 21:39:50 +0000 (21:39 +0000)
commit18fd84cce973ffdff8b1cfb73d75239cdc38d806
treeda8856e759170cc0390bbc773379d566e262e51b
parentc68ce1f5505bbb8892851a92d6af0dd6747d92eb
parentcd150ad0f1ca925a0904fb24b6585a9f34655ff4
Merge "SpecialPreferences: Make save button bar sticky"