That syntax is PHP-Storm specific, so not going to change that.