From 7b60dd179423b7f92a2dbf4af2f41e433eb83914 Mon Sep 17 00:00:00 2001
From: Hugo Locurcio <hugo.locurcio@hugo.pro>
Date: Fri, 25 Sep 2020 12:00:49 +0200
Subject: [PATCH] Escape double quotes for meta descriptions in HTML

If this not done, some descriptions will be closed earlier than intended.
---
 _extensions/godot_descriptions.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/_extensions/godot_descriptions.py b/_extensions/godot_descriptions.py
index 96434af58..8a9296d4e 100644
--- a/_extensions/godot_descriptions.py
+++ b/_extensions/godot_descriptions.py
@@ -78,6 +78,9 @@ class DescriptionGenerator:
         # Replace multiple spaces with single spaces
         desc = re.sub("\\s+", " ", desc)
 
+        # Escape double quotes for HTML
+        desc = re.sub('"', "&quot;", desc)
+
         return desc
 
     def create_description(self, cutoff_suffix="..."):