use xxx-yyy-zzzz output formatting for phone numbers
treee08fa9f7eb92eb54c44398cbf9f93054408fe27e
-rw-r--r-- 18010 COPYING
-rw-r--r-- 877 CREDITS
-rwxr-xr-x 22303 CategoryTreeMenu.js
-rw-r--r-- 63107 ChangeLog
-rw-r--r-- 80060 ChangeLog.old.cvs
-rwxr-xr-x 22817 DocumentTreeMenu.js
drwxr-xr-x - Documentation
-rw-r--r-- 22782 GnuGPL.html
-rw-r--r-- 8285 INSTALL
drwxr-xr-x - accounting
-rw-r--r-- 7176 acl_setup.php
drwxr-xr-x - contrib
-rw-r--r-- 133 controller.php
drwxr-xr-x - controllers
-rw-r--r-- 1995 copyright_notice.html
-rw-r--r-- 2617 copyright_notice_long.html
-rw-r--r-- 1993 copyright_notice_short.html
drwxr-xr-x - custom
drwxr-xr-x - documents
drwxr-xr-x - images
drwxr-xr-x - includes
-rw-r--r-- 1171 index.php
drwxr-xr-x - interface
drwxr-xr-x - library
-rw-r--r-- 2003 login.php
-rw-r--r-- 14055 setup.php
drwxr-xr-x - sql
drwxr-xr-x - templates