Update PHP source repo for tags and tags file

The new tags file seems to have lots of new symbols. It needs testing
by PHP programmers.

Closes #137