Update php-tags.txt