Moved print_headline() to weblib.php

diff --git a/course/lib.php b/course/lib.php
index 27dabbe88218ccc22834c25c7f20ff9780d37ec9..9a7c9733c34cbbdfdc69c7bf4147d6f9c8ccb77a 100644 (file)
--- a/course/lib.php
+++ b/course/lib.php
@@ -298,10 +298,6 @@ function print_course($course) {
     print_simple_box_end();
 }
 
-function print_headline($text, $size=2) {
-    echo "<B><FONT SIZE=\"$size\">$text</FONT></B><BR>\n";
-}
-
 function print_recent_activity($course) {
     // $course is an object
     // This function trawls through the logs looking for 

diff --git a/lib/weblib.php b/lib/weblib.php
index 1e847c95074784df7d9232d3c1ad4578401f8d5c..e87e53ea641177e6d9523d69bf7dca3c0c2108db 100644 (file)
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -774,6 +774,10 @@ function print_navigation ($navigation) {
    }
 }
 
+function print_headline($text, $size=2) {
+    echo "<b><font size=\"$size\">$text</font></b><br />\n";
+}
+
 function print_heading($text, $align="center", $size=3) {
     echo "<p align=\"$align\"><font size=\"$size\"><b>".stripslashes_safe($text)."</b></font></p>";
 }