This needs to go, as it is a phpstorm editor thing.