php ctags has been disabled