OK, so phplint is working!

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;