From 16df0fdd2e3882725d4081f06c87ec2e568b80bd Mon Sep 17 00:00:00 2001
From: Falk Stern <fstern@goodgamestudios.com>
Date: Tue, 10 Nov 2015 10:39:42 +0100
Subject: [PATCH] Coding style

---
 html/includes/authentication/active_directory.inc.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/html/includes/authentication/active_directory.inc.php b/html/includes/authentication/active_directory.inc.php
index 0773a108e0..659f5cba67 100644
--- a/html/includes/authentication/active_directory.inc.php
+++ b/html/includes/authentication/active_directory.inc.php
@@ -45,7 +45,7 @@ function authenticate($username, $password) {
             else {
                 // group membership is not required and user is valid
                 return 1;
-            };
+            }
         }
         else {
             return 0;