equal
deleted
inserted
replaced
99 |
99 |
100 |
100 |
101 def extsetup(ui): |
101 def extsetup(ui): |
102 # monkeypatch in the new version |
102 # monkeypatch in the new version |
103 extensions.wrapfunction( |
103 extensions.wrapfunction( |
104 webcommands, b'_filerevision', filerevision_highlight |
104 webcommands, '_filerevision', filerevision_highlight |
105 ) |
105 ) |
106 extensions.wrapfunction(webcommands, b'annotate', annotate_highlight) |
106 extensions.wrapfunction(webcommands, 'annotate', annotate_highlight) |
107 webcommands.highlightcss = generate_css |
107 webcommands.highlightcss = generate_css |
108 webcommands.__all__.append(b'highlightcss') |
108 webcommands.__all__.append(b'highlightcss') |