diff options
author | Christian Grothoff <christian@grothoff.org> | 2020-07-12 10:51:45 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2020-07-12 10:51:45 +0200 |
commit | 5b41c8882c6cc7a531566c4160165c497deef829 (patch) | |
tree | 661a7cb83c133d08253b07a6b313be2853eec36f /_exts | |
parent | 746bdde0f88925ce38dd490ab13f2c7e0c8e15fd (diff) | |
parent | 6036cea5f598620ac4b6e9553d84bef2aa93ad7c (diff) | |
download | docs-5b41c8882c6cc7a531566c4160165c497deef829.tar.gz docs-5b41c8882c6cc7a531566c4160165c497deef829.tar.bz2 docs-5b41c8882c6cc7a531566c4160165c497deef829.zip |
merge
Diffstat (limited to '_exts')
-rw-r--r-- | _exts/httpdomain/httpdomain.py | 1 | ||||
-rw-r--r-- | _exts/typescriptdomain.py | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/_exts/httpdomain/httpdomain.py b/_exts/httpdomain/httpdomain.py index f2569b5e..59665a05 100644 --- a/_exts/httpdomain/httpdomain.py +++ b/_exts/httpdomain/httpdomain.py @@ -196,6 +196,7 @@ HTTP_STATUS_CODES = { 304: 'Not Modified', 305: 'Use Proxy', 307: 'Temporary Redirect', + 308: 'Permanent Redirect', 400: 'Bad Request', 401: 'Unauthorized', 402: 'Payment Required', # unused diff --git a/_exts/typescriptdomain.py b/_exts/typescriptdomain.py index b0780eae..44e30f7b 100644 --- a/_exts/typescriptdomain.py +++ b/_exts/typescriptdomain.py @@ -499,6 +499,7 @@ class MyHtmlBuilder(StandaloneHTMLBuilder): self.highlighter = MyPygmentsBridge( self, self.config.trim_doctest_flags ) + self.dark_highlighter = None def get_annotation(tok, key): |