print_header

diff --git a/lib/php/db.php b/lib/php/db.php
index 978fe6d3b5cf4ccb668322e4871344df3866da75..0304ffa09154ea695ec29b24133715ed3ff845b4 100644 (file)
--- a/lib/php/db.php
+++ b/lib/php/db.php
@@ -446,10 +446,10 @@ class Db extends nb {
     return $this->tables;
   }
 
-  function print_header($format) {
+  public static function print_header($format) {
     if (empty($_SERVER['DOCUMENT_ROOT'])) return null;
 
-    if (!$mime=$this->ext2mime($format)) return false;
+    if (!$mime=self::ext2mime($format)) return false;
     header('Content-type: '.$mime);
 
     return $mime;