From ae1ed77840b1398db59ef7aadeed0829b59fb92b Mon Sep 17 00:00:00 2001 From: Xin Jin <39755499+EugeneJinXin@users.noreply.github.com> Date: Wed, 9 Jul 2025 11:20:27 -0700 Subject: [PATCH] Potential fix for code scanning alert no. 45: Bad HTML filtering regexp Co-authored-by: Copilot Autofix powered by AI <62310815+github-advanced-security[bot]@users.noreply.github.com> --- docs/_scripts/copy_page_hooks.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/_scripts/copy_page_hooks.py b/docs/_scripts/copy_page_hooks.py index e97bc6fe4..baefe3b97 100644 --- a/docs/_scripts/copy_page_hooks.py +++ b/docs/_scripts/copy_page_hooks.py @@ -46,7 +46,7 @@ def _clean_markdown(content: str) -> str: content = re.sub(r'^---\n.*?\n---\n', '', content, flags=re.DOTALL) # Remove script tags - content = re.sub(r']*>.*?', '', content, flags=re.DOTALL) + content = re.sub(r']*>.*?', '', content, flags=re.DOTALL | re.IGNORECASE) # Remove style tags content = re.sub(r']*>.*?', '', content, flags=re.DOTALL)