A phpext script is missing and v. 1.0.0 is not available

[sleepyboy]

According to a documentation, there should be a phpext script to enable/disable PHP extensions:

And a second helper script, phpext enables or disables an extension for the current version of PHP.

But looks like it's not included in the repository.

https://github.com/rlerdorf/php7dev/search?q=filename%3Aphpext returns 0 results.

The reason behind this issue might be an unavaiable version of the box (1.0.0). When I try to add this version to vagrant, I receive the following message:

The box you're attempting to add has no available version that
matches the constraints you requested. Please double-check your
settings. Also verify that if you specified version constraints,
that the provider you wish to use is available for these constriants.

Box: rasmus/php7dev
Address: https://atlas.hashicorp.com/rasmus/php7dev
Constraints: 1.0.0
Available versions: 0.0.1, 0.0.2, 0.0.3, 0.0.4, 0.0.5, 0.0.6, 0.0.7, 0.0.8, 0.0.9, 0.1.0

[miguelrs]

Same thing for me - I even tried to destroy the VM, clone the repo and create a new VM.
The phpext script is missing, and xdebug is not available.
If I do vagrant box update it says it's in the latest version 0.1.0.
If I check git log I can see the commit there:

commit 7e5afcd5a1c4709541a6ac5719bb9f9bb326a983
Author: Rasmus Lerdorf <[email protected]>
Date:   Tue Sep 6 07:26:36 2016 -0700
    Version 1.0

[alfredbez]

This version was created 2 months ago. There is not currently a released version.

source

[alfredbez]

There is no way to install a unreleased version, see also hashicorp/vagrant#4079

@rlerdorf Could you press the release button for v1.0.0?

[alfredbez]

I downloaded v1.0.0, uploaded and released it as alfredbez/php7dev to test if that resolves the issue, but it looks like that didn't helped:

vagrant@php7dev:~$ phpext list
-bash: phpext: command not found
vagrant@php7dev:~$ php -m | grep xdebug
vagrant@php7dev:~$

[miguelrs]

It has been released 🎉
However I had already managed to install XDebug and use it with PhpStorm in the previous version, and after upgrading my VM to 1.0.0 (with XDebug included), I can't debug anymore... 😢

[miguelrs]

Actually I have been trying things, and the problem is only when I'm using PHP 7.1 - if I do newphp 7 and use that, it works ok...

The most strange thing is with 7.1, it does recognise xdebug and it stops at the breakpoint in the index file, and also in my Controller class, but then it won't stop in other classes - I had never seen anything similar... I tried to find a pattern that makes it fail - e.g., when trying to step into a particular file/folder, when waiting for some time, or when the call stack is big - but I couldn't find any pattern... It's just in some places xdebug quits and I get a 502 Bad Gateway page in my browser 🤔