Update PHP source repo for tags and tags file
commita1e920527086984ebfe2643e3daa6c6fa22bf7d0
authorJohn Long <a@88k.us>
Sun, 5 May 2013 00:11:30 +0000 (4 19:11 -0500)
committerMatthew Brush <matt@geany.org>
Thu, 15 Aug 2013 20:09:35 +0000 (15 13:09 -0700)
treed1ecf9b4090ce78306d3fb070951ddcf151391e1
parentc615d8431fa2cf808ec692f1c605834186a39c08
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
data/php.tags
scripts/create_php_tags.php