doc/_ext/jsonlexer.py

   1 def setup(app):
   2     # enable Pygments json lexer
   3     try:
   4         import pygments
   5
   6         if pygments.__version__ >= "1.5":
   7             # use JSON lexer included in recent versions of Pygments
   8             from pygments.lexers import JsonLexer
   9         else:
  10             # use JSON lexer from pygments-json if installed
  11             from pygson.json_lexer import JSONLexer as JsonLexer
  12     except ImportError:
  13         pass  # not fatal if we have old (or no) Pygments and no pygments-json
  14     else:
  15         app.add_lexer("json", JsonLexer())