[gtksourceview/gtksourceview-4-8] Merge branch 'patch-2' into 'master'

[Christian Hergert <chergert src gnome org>]

commit 36ae2568b0ec3b11423480c14b075f140d596ebd
Author: Christian Hergert <christian hergert me>
Date:   Thu Nov 12 18:05:21 2020 +0000

    Merge branch 'patch-2' into 'master'
    
    Add functions
    
    See merge request GNOME/gtksourceview!172
    
    (cherry picked from commit 27b5cdad33ddbbb8a990fdfb4dd1ea466be401e6)
    
    9d6dfe62 Add functions

 data/language-specs/php.lang | 4 ++++
 1 file changed, 4 insertions(+)
---
diff --git a/data/language-specs/php.lang b/data/language-specs/php.lang
index 1608260c..15b3008f 100644
--- a/data/language-specs/php.lang
+++ b/data/language-specs/php.lang
@@ -267,6 +267,10 @@
       <keyword>print_r</keyword>
       <keyword>serialize</keyword>
       <keyword>settype</keyword>
+      <keyword>str_contains</keyword>
+      <keyword>str_replace</keyword>
+      <keyword>strip_tags</keyword>
+      <keyword>strpos</keyword>
       <keyword>strval</keyword>
       <keyword>unserialize</keyword>
       <keyword>var_dump</keyword>