--- a/inputParser.inc	Sun Sep 30 03:39:32 2012 +0200
+++ b/inputParser.inc	Thu Oct 04 19:46:11 2012 +0200
@@ -43,7 +43,7 @@
   if (!file_exists($confFile)) {
      errorPage("Resource not available");
   }
-  cache_time($confFile);
+  $options->getCache()->cache_time($confFile);
   $doc = new DOMDocument();
   $doc->load($confFile);
 
@@ -65,7 +65,7 @@
 	$subdoc = new DOMDocument();
 	$subfile = "${lang}/${src}";
 	$subdoc->load("$subfile");
-	cache_time($subfile);
+	$options->getCache()->cache_time($subfile);
 	$parent = $include->parentNode;
 	$xml = getElementByTagName($subdoc,"xml");
 	foreach($xml->childNodes as $child) {
@@ -142,7 +142,7 @@
     else {
       $src = $file->getAttribute("src");
       $fname = "${lang}/${src}";
-      cache_time($fname);
+      $options->getCache()->cache_time($fname);
       $file_content = loadFile($fname);
     }
     if(floatval($file_content)<0) {