Change help message to div for new theme.
tree8297040b59b39757dad44dc5ac5610594f39940c
-rw-r--r-- 317 CREDITS
-rw-r--r-- 54965 Doxyfile
-rw-r--r-- 9243 INSTALL
-rw-r--r-- 2130 INSTALL.fr.utf8
-rw-r--r-- 26436 LICENSE
-rw-r--r-- 27213 NEWS
-rw-r--r-- 877 README
-rw-r--r-- 4184 TODO
-rw-r--r-- 5 VERSION
-rw-r--r-- 662 WHATSNEW
-rw-r--r-- 833 WYSIWYG
drwxr-xr-x - art
drwxr-xr-x - benchmarks
drwxr-xr-x - configdoc
drwxr-xr-x - docs
drwxr-xr-x - library
drwxr-xr-x - maintenance
-rw-r--r-- 1672 package.php
-rw-r--r-- 4019 phpdoc.ini
drwxr-xr-x - plugins
-rw-r--r-- 2189 release1-update.php
-rw-r--r-- 510 release2-tag.php
drwxr-xr-x - smoketests
-rw-r--r-- 280 svn.php
-rw-r--r-- 998 test-settings.sample.php
drwxr-xr-x - tests