Perhaps there is a command line utility you can use to add users to kerberos?
Alternatively, have an application periodically read users' details from a text file or database and apply those changes into kerberos.
It's not necessary to have a PHP extension to do something if you can connect to an external program to do it.
Mark