From f78f5b53610cd314a452a71da075dc7f0f734a2a Mon Sep 17 00:00:00 2001
From: slawkens <slawkens@gmail.com>
Date: Fri, 31 Mar 2023 10:23:10 +0200
Subject: [PATCH] OK, so phplint is working!

---
 common.php | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/common.php b/common.php
index 866cc809ff..54b79bbff9 100644
--- a/common.php
+++ b/common.php
@@ -34,8 +34,7 @@
 define('IS_CLI', in_array(php_sapi_name(), ['cli', 'phpdb']));
 
 // account flags
-// test phplint, should give error as there is no semicolon
-const FLAG_NONE = 0
+const FLAG_NONE = 0;
 const FLAG_ADMIN = 1;
 const FLAG_SUPER_ADMIN = 2;
 const FLAG_SUPER_BOTH = 3;