adding phpctags