|
@@ 111-117 (lines=7) @@
|
| 108 |
|
* Displays the reduced page header (without banner) |
| 109 |
|
* @deprecated See template.lib.php class documentation |
| 110 |
|
*/ |
| 111 |
|
public static function display_reduced_header() |
| 112 |
|
{ |
| 113 |
|
return ''; |
| 114 |
|
global $show_learnpath, $tool_name; |
| 115 |
|
self::$global_template = new Template($tool_name, false, false, $show_learnpath); |
| 116 |
|
echo self::$global_template->show_header_template(); |
| 117 |
|
} |
| 118 |
|
|
| 119 |
|
/** |
| 120 |
|
* Display no header |
|
@@ 123-129 (lines=7) @@
|
| 120 |
|
* Display no header |
| 121 |
|
* @deprecated |
| 122 |
|
*/ |
| 123 |
|
public static function display_no_header() |
| 124 |
|
{ |
| 125 |
|
return ''; |
| 126 |
|
global $tool_name, $show_learnpath; |
| 127 |
|
$disable_js_and_css_files = true; |
| 128 |
|
self::$global_template = new Template($tool_name, false, false, $show_learnpath); |
| 129 |
|
} |
| 130 |
|
|
| 131 |
|
/** |
| 132 |
|
* Displays the reduced page header (without banner) |