SearchResultSet: remove hasResults(), unused
[mediawiki.git] / resources / lib / oojs-ui / i18n / eo.json
blob101f0af755a33739d576797134e99488f24faa9c
2         "@metadata": {
3                 "authors": [
4                         "Happy5214",
5                         "KuboF",
6                         "Shirayuki",
7                         "Yekrats"
8                 ]
9         },
10         "ooui-dialog-action-close": "Fermi",
11         "ooui-outline-control-move-down": "Movi eron suben",
12         "ooui-outline-control-move-up": "Movi eron supren",
13         "ooui-toolbar-more": "Pli"