krakjoe/phpdbg — pull request #45 by Hywan (2013-12-18 15:26:05+00:00)
Title: Constant version

Mimic the `PHP_VERSION_ID` constant. The current phpdbg version is `0.3.0`, as `x.y.z`, so the version ID is `z + y * 100 + x * 10000`, thus `300`.