Merge "Remove strong tag from "Other review tools""
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 16 Oct 2017 13:27:31 +0000 (13:27 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 16 Oct 2017 13:27:31 +0000 (13:27 +0000)
1  2 
languages/i18n/en.json

diff --combined languages/i18n/en.json
        "recentchanges-submit": "Show",
        "rcfilters-tag-remove": "Remove '$1'",
        "rcfilters-legend-heading": "<strong>List of abbreviations:</strong>",
-       "rcfilters-other-review-tools": "<strong>Other review tools</strong>",
+       "rcfilters-other-review-tools": "Other review tools",
        "rcfilters-group-results-by-page": "Group results by page",
        "rcfilters-grouping-title": "Grouping",
        "rcfilters-activefilters": "Active filters",
        "rcfilters-days-show-hours": "$1 {{PLURAL:$1|hour|hours}}",
        "rcfilters-highlighted-filters-list": "Highlighted: $1",
        "rcfilters-quickfilters": "Saved filters",
 -      "rcfilters-quickfilters-placeholder-title": "No links saved yet",
 +      "rcfilters-quickfilters-placeholder-title": "No filters saved yet",
        "rcfilters-quickfilters-placeholder-description": "To save your filter settings and reuse them later, click the bookmark icon in the Active Filter area, below.",
        "rcfilters-savedqueries-defaultlabel": "Saved filters",
        "rcfilters-savedqueries-rename": "Rename",