String get rev => js_util.getProperty(this, 'rev');
set rev(String newValue) { js_util.setProperty(this, 'rev', newValue); }