Remove phpctags (don't plan on developing in PHP any time soon)