From 6b8c454af3a531168fca1af19dda55535d2e2042 Mon Sep 17 00:00:00 2001
From: Pavol Babincak <scroolik@gmail.com>
Date: Sun, 10 Feb 2013 00:22:24 +0100
Subject: [PATCH] Player level label renamed to minimal player level

---
 plugins/guess-player-levels.user.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/plugins/guess-player-levels.user.js b/plugins/guess-player-levels.user.js
index 7342616d..5b679510 100644
--- a/plugins/guess-player-levels.user.js
+++ b/plugins/guess-player-levels.user.js
@@ -32,9 +32,9 @@ window.plugin.guessPlayerLevels.setLevelTitle = function(dom) {
   var nick = el.text();
   var text;
   if (nick in playersNamed) {
-    text = 'Player level: ' + playersNamed[nick] + ' (guessed)';
+    text = 'Min player level: ' + playersNamed[nick] + ' (guessed)';
   } else {
-    text = 'Player level unknown';
+    text = 'Min player level unknown';
   }
   el.attr('title', text);
   el.addClass('help');