Editing: DumpDescriptorInterface.php