From b3b8d1f53f68516b4638cf8cd1c8bb2edb8d8355 Mon Sep 17 00:00:00 2001
From: Oliver Gerlich <oliver.gerlich@gmx.de>
Date: Mon, 16 Jul 2018 22:23:44 +0200
Subject: [PATCH] menu: rename "Statistics" to "Stats" to save some space on
 phone screens

---
 webroot/js/element/menu.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/webroot/js/element/menu.js b/webroot/js/element/menu.js
index cd55446..cfa4ff9 100644
--- a/webroot/js/element/menu.js
+++ b/webroot/js/element/menu.js
@@ -25,7 +25,7 @@ export class MenuView extends View {
 		domlib.newAt(aMap, 'a', {'href':'#/map'}, 'Map');
 
 		const aStatistics= domlib.newAt(this.menuList, 'li', {'class':'item-3'});
-		domlib.newAt(aStatistics, 'a', {'href':'#/statistics'}, 'Statistics');
+		domlib.newAt(aStatistics, 'a', {'href':'#/statistics'}, 'Stats');
 
 	}
 	loginTyping(e) {