A script which creates php-interfaces from php-classes