<?php
/** @generate-class-entries */
interface Collection
{
}
extern ZEND_API zend_object_handlers zend_collection_object_handlers;
+extern ZEND_API zend_class_entry *zend_ce_collection;
+
+void zend_register_collection_ce(void);
+void zend_collection_add_interfaces(zend_class_entry *ce);
+#include "zend_collection_arginfo.h"
+#include "zend_execute.h"
+ZEND_API zend_class_entry *zend_ce_collection;
ZEND_API zend_object_handlers zend_collection_object_handlers;