| Server IP : 43.129.54.214 / Your IP : 216.73.217.113 Web Server : nginx/1.24.0 System : Linux VM-4-108-ubuntu 6.8.0-134-generic #134-Ubuntu SMP PREEMPT_DYNAMIC Fri Jun 26 18:43:11 UTC 2026 x86_64 User : root ( 0) PHP Version : 8.3.6 Disable Function : exec,passthru,shell_exec,system,proc_open,popen,pcntl_exec MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : OFF Directory : /lib/python3/dist-packages/pygments/formatters/__pycache__/ |
Upload File : |
�
|�e8� � �. � d Z ddlZddlZddlZddlZddlmZ ddlmZ ddl m
Z
mZmZ ddl
mZmZmZ ddlZdgZ ed� d ed
� d ed� d
ed� d ed� diZefd�Zd� Zd� ZdZdez dz ZdZdZ G d� de� Zy# e$ r dZY �[w xY w)z�
pygments.formatters.html
~~~~~~~~~~~~~~~~~~~~~~~~
Formatter for HTML output.
:copyright: Copyright 2006-2023 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
� N)�StringIO)� Formatter)�Token�Text�STANDARD_TYPES)�get_bool_opt�get_int_opt�get_list_opt�
HtmlFormatter�&z&�<z<�>z>�"z"�'z'c �$ � | j |� S )z<Escape &, <, > as well as single and double quotes for HTML.)� translate)�text�tables �:/usr/lib/python3/dist-packages/pygments/formatters/html.py�escape_htmlr &