diff --git a/tools.php b/tools.php index 1b3c31e..75211da 100644 --- a/tools.php +++ b/tools.php @@ -8,18 +8,13 @@ - - + + '; } - function echo_title() - { - echo '

Enterprise Resource Management System

'; - } - function echo_page_header($header,$subtext) { echo '';