def setup_rheader(r, tabs=[]):
 if (r.representation == 'html'):
  T = current.T
  tabs = [(T('Deployment Details'), None), (T('Servers'), 'server'), (T('Instances'), 'instance')]
  rheader_tabs = s3_rheader_tabs(r, tabs)
  rheader = DIV(rheader_tabs)
  return rheader

def setup_rheader ( r , tabs = [ ] ) : if ( r . representation == 'html' ) : T = current . T tabs = [ ( T ( 'Deployment Details' ) , None ) , ( T ( 'Servers' ) , 'server' ) , ( T ( 'Instances' ) , 'instance' ) ] rheader_tabs = s3_rheader_tabs ( r , tabs ) rheader = DIV ( rheader_tabs ) return rheader
resource component page header .