Follow-up to #11855: Use flash message API instead of custom markup for highlighting...
-rwxr-xr-x 481854 ChangeLog
-rwxr-xr-x 18007 GPL.txt
-rw-r--r-- 8108 INSTALL.txt
-rwxr-xr-x 843 LICENSE.txt
-rw-r--r-- 18447 NEWS.txt
-rw-r--r-- 1773 SVNreadme.txt
-rw-r--r-- 2759 index.php
drwxr-xr-x - misc
drwxr-xr-x - t3lib
drwxr-xr-x - tests
drwxr-xr-x - typo3