Added feature #9813: Turn the workspace selector into a drop down toolbar item menu
-rwxr-xr-x 372477 ChangeLog
-rwxr-xr-x 18007 GPL.txt
-rwxr-xr-x 509 LICENSE.txt
-rw-r--r-- 5765 NEWS.txt
-rw-r--r-- 1773 SVNreadme.txt
-rw-r--r-- 2780 index.php
drwxr-xr-x - misc
drwxr-xr-x - t3lib
drwxr-xr-x - typo3