增加echo_page_header函数

2016-08-27 14:34:34 +04:00 · 2016-08-27 14:34:34 +04:00 · aaf2bca132
commit aaf2bca132
parent 4a959c4bd3
1 changed files with 5 additions and 0 deletions
--- a/tools.php
+++ b/tools.php
@ -20,6 +20,11 @@
    	echo '<center><h1 style="margin-top: 10px">Enterprise Resource Management System</h1></center>';
    }

+    function echo_page_header($header,$subtext)
+    {
+        echo '<div class="page-header" style="margin-bottom: 0px; padding-bottom: 0px; margin-top: 0px;"><h1>'.$header.'<small>'.$subtext.'</small></h1></div>';
+    }
+
    function echo_html_end()
    {
        echo '