Hides comment blocks starting with /** in PHP

[gopi-ar]

This theme hides comment blocks that start with /** in PHP. Comment blocks starting with /* are shown correctly.

Update: This is on the IDLE theme