Merge pull request #7281 from weirdan/drop-htl-escaped-string-docs

vimeo · Jan 3, 2022 · 87977e4 · 87977e4
2 parents 7d6324a + e6472de
commit 87977e4
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/docs/annotating_code/type_syntax/scalar_types.md b/docs/annotating_code/type_syntax/scalar_types.md
@@ -73,9 +73,3 @@ Strings that don't pass this type check:
 A non empty string, lowercased or both at once.
 
 `empty` here is defined as all strings except the empty string `''`. Another type `non-falsy-string` is effectively a subtype of `non-empty-string`, and also precludes the string value `'0'`.
-
-### html-escaped-string (deprecated)
-
-A string which can safely be used in a html context.
-
-_This type will be removed in Psalm 5.x._