Added the default platform back again. :-)
treed4e1cf5c89c17b439b819a7fc1a8423dcd74f7c4
-rw-r--r-- 297681 CHANGES
-rw-r--r-- 1419 README.txt
drwxr-xr-x - admin
drwxr-xr-x - auth
drwxr-xr-x - backup
-rw-r--r-- 8910 config-dist.php
drwxr-xr-x - course
drwxr-xr-x - doc
drwxr-xr-x - error
-rw-r--r-- 1692 file.php
drwxr-xr-x - files
drwxr-xr-x - filter
-rw-r--r-- 2809 help.php
-rw-r--r-- 6182 index.php
drwxr-xr-x - lang
drwxr-xr-x - lib
drwxr-xr-x - login
drwxr-xr-x - mod
drwxr-xr-x - pix
-rw-r--r-- 292641 tags
drwxr-xr-x - theme
drwxr-xr-x - user
drwxr-xr-x - userpix
-rw-r--r-- 382 version.php