The package php7.2 7.2.9-1 has been removed from kali-dev. -- More information about php7.2: http://pkg.kali.org/pkg/php7.2