From 514c16e85f7ac2512235f3b6413646627420e969 Mon Sep 17 00:00:00 2001 From: Claude Paroz Date: Thu, 14 Oct 2021 19:56:37 +0200 Subject: [PATCH] Removed unused DOTS list. Unused since 4ff389dcdc15884eef059b2b8dea4b710e0a3b98. --- django/utils/html.py | 3 --- 1 file changed, 3 deletions(-) diff --git a/django/utils/html.py b/django/utils/html.py index bd58317a79..2c8c1cc79e 100644 --- a/django/utils/html.py +++ b/django/utils/html.py @@ -19,9 +19,6 @@ from django.utils.text import normalize_newlines TRAILING_PUNCTUATION_CHARS = '.,:;!' WRAPPING_PUNCTUATION = [('(', ')'), ('[', ']')] -# List of possible strings used for bullets in bulleted lists. -DOTS = ['·', '*', '\u2022', '•', '•', '•'] - word_split_re = _lazy_re_compile(r'''([\s<>"']+)''') simple_url_re = _lazy_re_compile(r'^https?://\[?\w', re.IGNORECASE) simple_url_2_re = _lazy_re_compile(