equal
deleted
inserted
replaced
68 If the input uri is a regexp, group substitution is allowed |
68 If the input uri is a regexp, group substitution is allowed |
69 """ |
69 """ |
70 id = 'simple' |
70 id = 'simple' |
71 |
71 |
72 rules = [ |
72 rules = [ |
|
73 ('/_', dict(vid='manage')), |
|
74 ('/_registry', dict(vid='registry')), |
|
75 # (rgx('/_([^/]+?)/?'), dict(vid=r'\1')), |
73 ('/schema', dict(vid='schema')), |
76 ('/schema', dict(vid='schema')), |
74 ('/index', dict(vid='index')), |
77 ('/index', dict(vid='index')), |
75 ('/myprefs', dict(vid='propertiesform')), |
78 ('/myprefs', dict(vid='propertiesform')), |
76 ('/siteconfig', dict(vid='systempropertiesform')), |
79 ('/siteconfig', dict(vid='systempropertiesform')), |
77 ('/siteinfo', dict(vid='info')), |
80 ('/siteinfo', dict(vid='info')), |