From c4e17979fa1d7862d2e7bc2f644c50858cda06d9 Mon Sep 17 00:00:00 2001 From: Carlo Bertelli Date: Sun, 25 Jun 2017 09:31:43 +0200 Subject: [PATCH] Update alerts.js On line 27 the right word is "attenzione" (maybe even "allerta", but is not so widely used). "Suggerimento" is appropriate for tip. On line 28 I moved "suggerimento" and closed the bracket (left open). --- js/gimmicks/alerts.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/js/gimmicks/alerts.js b/js/gimmicks/alerts.js index 083c956b..e40c844f 100644 --- a/js/gimmicks/alerts.js +++ b/js/gimmicks/alerts.js @@ -24,8 +24,8 @@ function get_alert_type(text) { var note = ['note', 'beachte', 'nota' ]; - var warning = [ 'achtung', 'attention', 'warnung', 'warning', 'atención', 'guarda', 'advertimiento', 'attenzione', 'suggerimento' ]; - var hint = ['hint', 'tipp', 'tip', 'hinweis', 'conseil'; + var warning = [ 'achtung', 'attention', 'warnung', 'warning', 'atención', 'guarda', 'advertimiento', 'attenzione' ]; + var hint = [ 'hint', 'tipp', 'tip', 'hinweis', 'conseil', 'suggerimento' ]; var exp = note.concat(warning); exp = exp.concat(hint); var txt = text.toLowerCase ();