old_contents: import os, sys
  from subprocess import Popen, PIPE
  
  def get_version():
      if os.environ.get('READTHEDOCS') == 'True':
          return os.environ.get('READTHEDOCS_VERSION')
  
      pipe = Popen('git branch | grep \*', stdout=PIPE,
                   shell=True, universal_newlines=True)
      version = pipe.stdout.read()
  
      if version:
          return version[2:]
      else:
          return 'unknown'
  
  sys.path.append(os.path.abspath('./_extensions'))
  
  # -- Project information -----------------------------------------------------
  
  project = 'BeBat/Verify'
  copyright = '2022, Ben Batschelet'
  author = 'Ben Batschelet'
  
  # The full version, including alpha/beta/rc tags
  release = get_version().strip()
  
  # -- General configuration ---------------------------------------------------
  
  # Add any Sphinx extension module names here, as strings. They can be
  # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom
  # ones.
  extensions = [
      'sphinx.ext.intersphinx',
      'hoverxref.extension',
      'phpref',
  ]
  
  # Add any paths that contain templates here, relative to this directory.
  templates_path = []
  
  # List of patterns, relative to source directory, that match files and
  # directories to ignore when looking for source files.
  # This pattern also affects html_static_path and html_extra_path.
  exclude_patterns = ['_build', '_extensions', 'Thumbs.db', '.DS_Store']
  
  highlight_language = 'php'
  highlight_options = {
      'php': {'startinline': True},
  }
  
  intersphinx_mapping = {'phpunit': ('https://phpunit.readthedocs.io/en/stable/', None)}
  
  hoverxref_role_types = {
      'phpref': 'tooltip',
  }
  
  # -- Options for HTML output -------------------------------------------------
  
  # The theme to use for HTML and HTML Help pages.  See the documentation for
  # a list of builtin themes.
  #
  html_theme = 'sphinx_rtd_theme'
  html_theme_options = {
      'collapse_navigation': False,
      'display_version': True,
  }
  
  # Add any paths that contain custom static files (such as style sheets) here,
  # relative to this directory. They are copied after the builtin static files,
  # so a file named "default.css" will overwrite the builtin "default.css".
  html_static_path = ['_static']
  html_style = 'verify.css'
  
  # If true, links to the reST sources are added to the pages.
  html_show_sourcelink = True
  
  html_context = {
      "display_github": True,
      "github_user": "bbatsche",
      "github_repo": "Verify",
      "github_version": get_version(),
      "conf_py_path": "/docs/",
  }
  
new_contents: import os, sys
  from subprocess import Popen, PIPE
  
  def get_version():
      if os.environ.get('READTHEDOCS') == 'True':
          return os.environ.get('READTHEDOCS_VERSION')
  
      pipe = Popen('git branch | grep \*', stdout=PIPE,
                   shell=True, universal_newlines=True)
      version = pipe.stdout.read()
  
      if version:
          return version[2:]
      else:
          return 'unknown'
  
  sys.path.append(os.path.abspath('./_extensions'))
  
  # -- Project information -----------------------------------------------------
  
  project = 'BeBat/Verify'
  copyright = '2022, Ben Batschelet'
  author = 'Ben Batschelet'
  
  # The full version, including alpha/beta/rc tags
  release = get_version().strip()
  
  # -- General configuration ---------------------------------------------------
  
  # Add any Sphinx extension module names here, as strings. They can be
  # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom
  # ones.
  extensions = [
      'sphinx.ext.intersphinx',
      'hoverxref.extension',
      'phpref',
  ]
  
  # Add any paths that contain templates here, relative to this directory.
  templates_path = []
  
  # List of patterns, relative to source directory, that match files and
  # directories to ignore when looking for source files.
  # This pattern also affects html_static_path and html_extra_path.
  exclude_patterns = ['_build', '_extensions', 'Thumbs.db', '.DS_Store']
  
  highlight_language = 'php'
  highlight_options = {
      'php': {'startinline': True},
  }
  
  intersphinx_mapping = {'phpunit': ('https://phpunit.readthedocs.io/en/stable/', None)}
  
  hoverxref_roles = [
      'phpref',
  ]
  
  hoverxref_role_types = {
      'phpref': 'tooltip',
  }
  
  # -- Options for HTML output -------------------------------------------------
  
  # The theme to use for HTML and HTML Help pages.  See the documentation for
  # a list of builtin themes.
  #
  html_theme = 'sphinx_rtd_theme'
  html_theme_options = {
      'collapse_navigation': False,
      'display_version': True,
  }
  
  # Add any paths that contain custom static files (such as style sheets) here,
  # relative to this directory. They are copied after the builtin static files,
  # so a file named "default.css" will overwrite the builtin "default.css".
  html_static_path = ['_static']
  html_style = 'verify.css'
  
  # If true, links to the reST sources are added to the pages.
  html_show_sourcelink = True
  
  html_context = {
      "display_github": True,
      "github_user": "bbatsche",
      "github_repo": "Verify",
      "github_version": get_version(),
      "conf_py_path": "/docs/",
  }
  
subject: Enable hoverxref