Add interfaces to phpdefs