php: Ignore another generated file in php/extension directory.
authorRichard W.M. Jones <rjones@redhat.com>
Thu, 3 Feb 2011 10:56:01 +0000 (10:56 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Tue, 8 Mar 2011 14:55:58 +0000 (14:55 +0000)
commit831dbc97f9acd2f94651e0b54fb572d43ea17811
tree3c3d999faa69321afcf9effaac78b0e9804ff8e4
parentf72a3c47428f6eb1c6984124ebb0dae774d5a956
php: Ignore another generated file in php/extension directory.
(cherry picked from commit 5ae752559284efd925fb7959c5760d4fee25f1d6)
.gitignore