Mini Shell

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

dates.php	3.385 KB	-rwxrwxr-x
downloader.php	10.07 KB	-rwxrwxr-x
group_observers.php	2.374 KB	-rwxrwxr-x
tools.php	0 KB	-rwxrwxr-x