<?php
	class demos_tablemanager_controller extends tablemanager_controller {
		protected $name = "Dummy";
		protected $pathinfo_offset = 2;
		protected $back = "demos";
		protected $icon = "page.png";
		protected $log_column = "line";
	}
?>