PHP: auto insert PHP doc comment only for PHP editors and when a PHP workspace is opened