Merge "RCFilters: Style the Saved Links placeholder and add a title"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 26 May 2017 19:54:54 +0000 (19:54 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 26 May 2017 19:54:54 +0000 (19:54 +0000)
commitd41a6afe00783f0ad3344b7edabdc1c8eca9478d
tree8c8113b779685f92b1f407e570253eb9cccba8e4
parent121e95dec9defea5c185f3eeb966c795a3e5184e
parent9b4237dde58799e11e606324cd285f5e15503194
Merge "RCFilters: Style the Saved Links placeholder and add a title"
languages/i18n/en.json
languages/i18n/qqq.json
resources/Resources.php