Added a search form to the "edit users" admin page yay!
-rw-r--r-- 58304 CHANGES
-rw-r--r-- 1419 README.txt
drwxr-xr-x - admin
drwxr-xr-x - auth
-rw-r--r-- 6215 config-dist.php
drwxr-xr-x - course
drwxr-xr-x - doc
drwxr-xr-x - error
-rw-r--r-- 1653 file.php
drwxr-xr-x - files
-rw-r--r-- 1465 help.php
-rw-r--r-- 4494 index.php
drwxr-xr-x - lang
drwxr-xr-x - lib
drwxr-xr-x - login
drwxr-xr-x - mod
drwxr-xr-x - pix
drwxr-xr-x - theme
drwxr-xr-x - user
-rw-r--r-- 379 version.php