PHPStorm doesn't like this file