You can easily use the src instead than trying to figure out which is the 1.2 phar, also you can make a phar yourself by installing devtools then in your command terminal do... Code: makeserver You can find the src at... https://github.com/pmmp/PocketMine-MP
Also to mention when using makeserver to create a phar you should know that your newly created phar is at.. Code: plugins/DevTools/
Yes as well as PHP 7.2, You can get a PHP Bin from Jenkins at.. https://jenkins.pmmp.io Make sure your PHP is at 7.2 and then you can add the bin.