rem: if (GM_compareVersions(initialized, "0.4.2") < 0) { 
add: if (!GM_versionIsGreaterOrEqual(initialized, "0.4.2")) { 
context: function GM_updateVersion() {  GM_log("> GM_updateVersion");  // this is the last version which has been run at least once  var initialized = GM_prefRoot.getValue("version", "0.0");    if (GM_compareVersions(initialized, "0.3") < 0) {    GM_pointThreeMigrate();  }    if (GM_compareVersions(initialized, "0.4.2") < 0) {    GM_pointFourMigrate();  }  // update the currently initialized version so we don't do this work again.  GM_prefRoot.setValue("version", "0.5");  GM_log("< GM_updateVersion");}
meta: 9744	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9744/dd4da655a7f058b0250e14461e2665888d0d3470/versioning.js/buggy/src/content/versioning.js