Ensure compatibility with PHPStorm 7.1