Merge pull request #10122 from weirdan/strip_tags-allowed_tags-as-list

vimeo · Aug 17, 2023 · 28f5b1e · 28f5b1e
2 parents 57f6359 + 3244502
commit 28f5b1e
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 0 deletions.
diff --git a/src/Psalm/Config.php b/src/Psalm/Config.php
@@ -2258,6 +2258,10 @@ public function visitStubFiles(Codebase $codebase, ?Progress $progress = null):
             $stubsDir . 'SPL.phpstub',
         ];
 
+        if ($codebase->analysis_php_version_id >= 7_04_00) {
+            $this->internal_stubs[] = $stubsDir . 'Php74.phpstub';
+        }
+
         if ($codebase->analysis_php_version_id >= 8_00_00) {
             $this->internal_stubs[] = $stubsDir . 'CoreGenericAttributes.phpstub';
             $this->internal_stubs[] = $stubsDir . 'Php80.phpstub';

diff --git a/stubs/Php74.phpstub b/stubs/Php74.phpstub
@@ -0,0 +1,11 @@
+<?php
+
+/**
+ * @psalm-pure
+ *
+ * @psalm-taint-escape html
+ * @psalm-flow ($string) -> return
+ *
+ * @param null|string|array<array-key,string> $allowed_tags
+ */
+function strip_tags(string $string, null|string|array $allowed_tags = null) : string {}