php bug

I expect that 'desktop' is colored green.

Code:

<?php
new class {
     public static function getUserByLogin(string $userName, string $password, string $app = 'desktop') {
        $request = null;
        try {
            $request = RequestUtil::doRequest(HttpMethod::POST, '/auth/login', [
                'json' => [
                    'login' => $userName,
                    'pass' => $password,
                    'app' => $app
                ]
            ]);
        } catch(HitboxApiException $e) {
            throw new HitboxAuthException('Cannot authenticate with hitbox api! Check username or password.', 0, $e);
        }
    }
}

[jens1o]

No problem, it’s the free Fira Mono from Mozilla! https://github.com/mozilla/Fira (just download the latest release, install the fonts and type this in your User Settings editor.fontFamily: "Fira Mono")

[Binaryify]

@jens1o Oh~, I forgot it