rem: if(rev > 0) location.href += "/" + $F(this); else location.href = location.href.match(/\/edit\/([0-9]+)/)[1]; 
add: var url = '/admin/articles/edit/' + location.href.match(/\/edit\/([0-9]+)/)[1]; if(rev != '0') url += "/" + rev; location.href = url; 
context:   getRevision: function() {    var rev = $F(this)    if(rev > 0)      location.href += "/" + $F(this);    else      location.href = location.href.match(/\/edit\/([0-9]+)/)[1];  }
meta: 6475	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/6475/b424578e6dd90c596a26dfa71f9338f648782e01/mephisto.js/clean/public/javascripts/mephisto.js