correctly bail out on non-existing INI file

[pharext/pharext] / src / pharext / Version.php

<?php

namespace pharext;

const VERSION = "@PHAREXT_VERSION@";