The package php7.1 7.1.13-1 has been added to kali-rolling. It has been imported from Debian: https://tracker.debian.org/pkg/php7.1 -- More information about php7.1: http://pkg.kali.org/pkg/php7.1