This is the complete list of members for workshop_allocator, including all inherited members.

delete_instance($workshopid)	workshop_allocator	static
init()	workshop_allocator
ui()	workshop_allocator