PHP: 'Insert Doxygen Comment' is now working again