Class name not highlighted after `@new'

[kissge]

<?php
$ok = new stdClass;
$ng = @new stdClass;

Checked with PHP mode 1.15.3 of 2015-03-09.

[zonuexe]

This problem certainly still exists.