Commit 0029d2b08bb for php.net

commit 0029d2b08bbd3cb3aa293d9c8d55bf31faa9e203
Author: Derick Rethans <github@derickrethans.nl>
Date:   Fri Apr 25 10:20:58 2025 +0100

    Turn off font ligatures in code in documentation

diff --git a/docs/source/_static/css/code-no-font-ligatures.css b/docs/source/_static/css/code-no-font-ligatures.css
new file mode 100644
index 00000000000..1ae51476f01
--- /dev/null
+++ b/docs/source/_static/css/code-no-font-ligatures.css
@@ -0,0 +1,3 @@
+code {
+    font-variant-ligatures: none;
+}
diff --git a/docs/source/conf.py b/docs/source/conf.py
index 7347682eddf..f28102206a9 100644
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -21,6 +21,7 @@ extensions = [
 templates_path = ['_templates']
 html_theme = 'sphinxawesome_theme'
 html_static_path = ['_static']
+html_css_files = ['css/code-no-font-ligatures.css']
 html_title = project
 html_permalinks_icon = Icons.permalinks_icon
 theme_options = ThemeOptions(