Fixed bug causing incorrectly numbered labels for jumpz in PHP backend
Merge pull request #12 from TazeTSchnitzel/bugfix

Fixed bug causing incorrectly numbered labels for jumpz in PHP backend