phpStorm formatting