+
+ function store_extension_version ($ext_name) {
+ // Valid cache pointer?
+ if (is_resource($this->cache_pointer)) {
+ // Get extension version
+ $ext_ver = GET_EXT_VERSION($ext_name);
+
+ // Write cache line to file
+ fwrite($this->cache_pointer, "\$cache_version['".$ext_name."'] = \"".$ext_ver."\";\n");
+ } else {
+ // Cannot create file
+ ADD_FATAL(__FILE__."(<font color=\"#0000aa\">".__LINE__."</font>): ".CACHE_PROBLEMS_DETECTED);
+ }
+ }
+
+ function ext_version_matches ($ext_name) {
+ // Load cache (dummy)
+ $this->cache_load();
+
+ // Get extension version
+ $ext_ver = GET_EXT_VERSION($ext_name);
+
+ // Compare both
+ return ((isset($this->cache_version[$this->cache_file][$ext_name])) && ($this->cache_version[$this->cache_file][$ext_name] == $ext_ver));
+ }
+
+ function add_raw_row ($key, $value) {
+ // Init line
+ $line = "";
+
+ // String or non-string? ;-)
+ if ((is_string($value)) || (is_null($value))) {
+ // String...
+ $line = "\$data['".$key."'][] = \"".$value."\";\n";
+ } else {
+ // Non-string
+ $line = "\$data['".$key."'][] = ".$value.";\n";
+ }
+
+ // Return line
+ return $line;
+ }
+
+ function getStatus () {
+ return $this->ret;
+ }