From d525cfcb8dc0eb624ce3472833e5b4cd7fe22f6c Mon Sep 17 00:00:00 2001
From: "Christian P. MOMON" <christian.momon@devinsy.fr>
Date: Fri, 8 Jan 2021 03:18:18 +0100
Subject: [PATCH] Fixed naming.

---
 src/fr/devinsy/statoolinfos/htmlize/propertyFileCheck.xhtml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/fr/devinsy/statoolinfos/htmlize/propertyFileCheck.xhtml b/src/fr/devinsy/statoolinfos/htmlize/propertyFileCheck.xhtml
index 6c17a2b..9a4c244 100644
--- a/src/fr/devinsy/statoolinfos/htmlize/propertyFileCheck.xhtml
+++ b/src/fr/devinsy/statoolinfos/htmlize/propertyFileCheck.xhtml
@@ -17,7 +17,7 @@
 		</div>
 		<div style="margin-left: 0px; margin-bottom: 10px;">
 			<a id="" href="#all" class="button" onclick="javascript:setView('ALL');">Tout</a>
-			<a id="" href="#shrinked" class="button" onclick="javascript:setView('SHRINKED');">Réduit</a>
+			<a id="" href="#shrunk" class="button" onclick="javascript:setView('SHRUNK');">Réduit</a>
 			<a id="" href="#alerts" class="button" onclick="javascript:setView('ALERTS');">Alertes</a>
 			
 			<span style="margin-left: 150px;">Statistiques : </span>
@@ -74,7 +74,7 @@
 	    	document.getElementById ('shrunkBlock').style.display = 'none';
 	    	document.getElementById ('alertBlock').style.display = 'none';
 	    }
-	    else if (selection == 'SHRINKED')
+	    else if (selection == 'SHRUNK')
 	    {
 	    	document.getElementById ('fullBlock').style.display = 'none';
 	    	document.getElementById ('shrunkBlock').style.display = 'block';