Fix capcodes in PHP7.2. Close #299

inc/mod/auth.php

@@ -212,8 +212,8 @@ function check_login($prompt = false) {
 		}
 		
 		$mod = array(
-			'id' => $user['id'],
-			'type' => $user['type'],
+			'id' => (int)$user['id'],
+			'type' => (int)$user['type'],
 			'username' => $cookie[0],
 			'boards' => explode(',', $user['boards'])
 		);