equal
deleted
inserted
replaced
27 if k.endswith('.' + name) or k.endswith('/' + name): |
27 if k.endswith('.' + name) or k.endswith('/' + name): |
28 return v |
28 return v |
29 raise KeyError(name) |
29 raise KeyError(name) |
30 |
30 |
31 def load(ui, name, path): |
31 def load(ui, name, path): |
32 if name.startswith('hgext.'): |
32 if name.startswith('hgext.') or name.startswith('hgext/'): |
33 shortname = name[6:] |
33 shortname = name[6:] |
34 else: |
34 else: |
35 shortname = name |
35 shortname = name |
36 if shortname in _extensions: |
36 if shortname in _extensions: |
37 return |
37 return |