# Configuration file for the Sphinx documentation builder. # # For the full list of built-in configuration values, see the documentation: # https://www.sphinx-doc.org/en/master/usage/configuration.html from dataclasses import asdict from sphinxawesome_theme import ThemeOptions from sphinxawesome_theme.postprocess import Icons from sphinx.highlighting import lexers from pygments.lexers.web import PhpLexer lexers['php'] = PhpLexer(startinline=True) lexers['php-annotations'] = PhpLexer(startinline=True) project = 'php-src docs' author = 'The PHP Group' extensions = [ 'sphinx_design', 'sphinxawesome_theme.highlighting', ] templates_path = ['_templates'] html_theme = 'sphinxawesome_theme' html_static_path = ['_static'] html_title = project html_permalinks_icon = Icons.permalinks_icon theme_options = ThemeOptions( show_prev_next=True, extra_header_link_icons={ 'repository on GitHub': { 'link': 'https://github.com/php/php-src', 'icon': ( '' '' ), }, }, ) html_theme_options = asdict(theme_options) pygments_style = 'sphinx'