Extension to bison to generate PHP code