correction #1225 (drazzib)

d7d001c3 · JamesRezo · e9f4975d · d7d001c3
--- a/ecrire/exec/aide_index.php
+++ b/ecrire/exec/aide_index.php
@@ -176,7 +176,7 @@ function help_body($aide, $suite, $lang_aide='') {
 		window.open(this.href);
 		return false;
 	});
-});)';
+});');
 	echo _STYLE_AIDE_BODY, "</head>\n";

 	echo '<body bgcolor="#FFFFFF" text="#000000" topmargin="24" leftmargin="24" marginwidth="24" marginheight="24"';