From e6472deddb4b7a75c61873db1805a93c2ccc7f64 Mon Sep 17 00:00:00 2001 From: Bruce Weirdan Date: Mon, 3 Jan 2022 20:54:22 +0200 Subject: [PATCH] Dropped `html-escaped-string` docs --- docs/annotating_code/type_syntax/scalar_types.md | 6 ------ 1 file changed, 6 deletions(-) diff --git a/docs/annotating_code/type_syntax/scalar_types.md b/docs/annotating_code/type_syntax/scalar_types.md index ff99acc7e..c326001db 100644 --- 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._