+
+ 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__."(".__LINE__."): ".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);
+
+ //* DEBUG: */ echo __METHOD__.": ext_name={$ext_name},ext_ver={$ext_ver},cache_version={$this->cache_version}<br />\n";
+ // Compare both
+ return ((isset($this->cache_version[$ext_name])) && ($this->cache_version[$ext_name] == $ext_ver));
+ }
+
+ function add_raw_row ($key, $value) {
+ // Init line
+ $line = "";
+
+ // String or non-string? ;-)
+ if (is_string($value)) {
+ // String...
+ $line = "\$data['".$key."'][] = \"".$value."\";\n";
+ } else {
+ // Non-string
+ $line = "\$data['".$key."'][] = ".$value.";\n";
+ }
+
+ // Return line
+ return $line;
+ }
+
+ function getStatus () {
+ return $this->ret;
+ }