This Bugzilla instance is a read-only archive of historic NetBeans bug reports. To report a bug in NetBeans please follow the project's instructions for reporting issues.
methods marked as deprecated in PHPDoc (@deprecated) should be highlighted as warning in the editor.
No, they should be crossed. And they will be (in next version, not in 7.3).
Super. Thanks. Next is 7.3.1 or 7.4?
7.3.1 is patch for 7.3. Next will be 7.4 (resp. 8.0).
Confirmed as fixed in 8.0