Renaming the php ctags generator to avoid command line confusion