| | |
| | | |
| | | /** |
| | | * Add HTML code to the page header |
| | | * |
| | | * @param string $str HTML code |
| | | */ |
| | | public function add_header($str) |
| | | { |
| | |
| | | /** |
| | | * Add HTML code to the page footer |
| | | * To be added right befor </body> |
| | | * |
| | | * @param string $str HTML code |
| | | */ |
| | | public function add_footer($str) |
| | | { |
| | |
| | | |
| | | /** |
| | | * Setter for page title |
| | | * |
| | | * @param string $t Page title |
| | | */ |
| | | public function set_title($t) |
| | | { |
| | |
| | | /** |
| | | * Setter for output charset. |
| | | * To be specified in a meta tag and sent as http-header |
| | | * |
| | | * @param string $charset Charset |
| | | */ |
| | | public function set_charset($charset) |
| | | { |
| | |
| | | |
| | | /** |
| | | * Getter for output charset |
| | | * |
| | | * @return string Output charset |
| | | */ |
| | | public function get_charset() |
| | | { |
| | |
| | | |
| | | /** |
| | | * Callback function for preg_replace_callback in write() |
| | | * |
| | | * @return string Parsed string |
| | | */ |
| | | private function file_callback($matches) |
| | | { |