Based on one of the comments in the leaked source, at least php 6, though no idea what specific version:

> // In PHP 6 this... doesn't seem to do anything? Let's try again in 7.

PHP 6 was never released ;) Got stuck in development hell and they went straight to 7.

Oh interesting, thanks! Which makes that comment in the code even more confusing