Hi.
To get Pocketmine servers to work with the latest versjon of Pocketmine for phones / pads and the new Windows 10 beta minecraft client we must run server versions above both current release and development releases. The P.E.server eveloper calls this his bleeding edge (http://jenkins.pocketmine.net/job/PocketMine-MP-Bleeding/).
When the pocketmine devs update this file (presumably because they think each arch is actually ready for prime-time), it will auto populate here. Apparently they feel this way for ANDROID, as you’ll see the webui (right now) actually shows ARMv7_Android, but not yet the rest.
You can, of course, download the files manually, by connecting through SSH and doing the download as instructed by the pocketmine website. You’d then just have to drop the files you manually downloaded (through the script) into the live server directory (/var/games/minecraft/servers/yourservername). This manual bit might be a bit kludgy and confusing, but then it might just mean to wait for Pocketmine to deem their php7 builds ready enough to put in the download script itself.
The php7 tarball I downloaded from that page unpacks nicely into a bin-folder, with one difference. It unpacks into a php7 subfolder, instead of the php5 from the earlier versions of php for pocketmine.
It confused me when the above build 30 would not start,even with php7 available. but build 30 started. Then I tried to juggle around the php folders so that php5 turned into php.old, while php7 was renamed php5. After this the later builds started up nicely.