doc/_ext/jsonlexer.py

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