Mini Shell

Name	Size	Permissions	Options
cache	--	drwxr-xr-x
completion	--	drwxr-xr-x
event	--	drwxr-xr-x
external	--	drwxr-xr-x
grades	--	drwxr-xr-x
navigation	--	drwxr-xr-x
output	--	drwxr-xr-x
plugininfo	--	drwxr-xr-x
privacy	--	drwxr-xr-x
search	--	drwxr-xr-x
task	--	drwxr-xr-x

dates.php	3.385 KB	-rw-r--r--
downloader.php	10.07 KB	-rw-r--r--
group_observers.php	2.374 KB	-rw-r--r--
tools.php	0 KB	-rw-r--r--