mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2025-02-25 18:55:22 -06:00
commit
832c0c0621
@ -1004,7 +1004,7 @@ class Sphinx:
|
|||||||
logger.debug('[app] adding lexer: %r', (alias, lexer))
|
logger.debug('[app] adding lexer: %r', (alias, lexer))
|
||||||
if isinstance(lexer, Lexer):
|
if isinstance(lexer, Lexer):
|
||||||
warnings.warn('app.add_lexer() API changed; '
|
warnings.warn('app.add_lexer() API changed; '
|
||||||
'Please give lexer class instead instance',
|
'Please give lexer class instead of instance',
|
||||||
RemovedInSphinx40Warning, stacklevel=2)
|
RemovedInSphinx40Warning, stacklevel=2)
|
||||||
lexers[alias] = lexer
|
lexers[alias] = lexer
|
||||||
else:
|
else:
|
||||||
|
@ -401,7 +401,7 @@ class SphinxComponentRegistry:
|
|||||||
|
|
||||||
def load_extension(self, app: "Sphinx", extname: str) -> None:
|
def load_extension(self, app: "Sphinx", extname: str) -> None:
|
||||||
"""Load a Sphinx extension."""
|
"""Load a Sphinx extension."""
|
||||||
if extname in app.extensions: # alread loaded
|
if extname in app.extensions: # already loaded
|
||||||
return
|
return
|
||||||
if extname in EXTENSION_BLACKLIST:
|
if extname in EXTENSION_BLACKLIST:
|
||||||
logger.warning(__('the extension %r was already merged with Sphinx since '
|
logger.warning(__('the extension %r was already merged with Sphinx since '
|
||||||
|
Loading…
Reference in New Issue
Block a user