Bison in php