Added function to convert text format value to internal name and vice versa.
tree471a2061abf008445809565944655e3e805e89b9
-rw-r--r-- 297681 CHANGES
-rw-r--r-- 892 README.txt
drwxr-xr-x - admin
drwxr-xr-x - auth
drwxr-xr-x - backup
drwxr-xr-x - blocks
drwxr-xr-x - calendar
-rw-r--r-- 13782 config-dist.php
drwxr-xr-x - course
drwxr-xr-x - doc
drwxr-xr-x - enrol
drwxr-xr-x - error
-rw-r--r-- 5191 file.php
drwxr-xr-x - files
drwxr-xr-x - filter
drwxr-xr-x - grade
-rw-r--r-- 4843 help.php
-rw-r--r-- 7477 index.php
-rw-r--r-- 23450 install.php
drwxr-xr-x - lang
drwxr-xr-x - lib
drwxr-xr-x - login
drwxr-xr-x - message
drwxr-xr-x - mod
drwxr-xr-x - pix
drwxr-xr-x - rss
-rw-r--r-- 2702839 tags
drwxr-xr-x - theme
drwxr-xr-x - user
drwxr-xr-x - userpix
-rw-r--r-- 434 version.php