Remove redundant text.html.* parts from selector

kaste · kaste · commit 2e0995b9ce53 · 2022-08-12T17:14:08.000+02:00
Ref #48
diff --git a/linter.py b/linter.py
@@ -34,7 +34,7 @@ class PHP(Linter):
     """Provides an interface to php -l."""
 
     defaults = {
-        'selector': 'embedding.php, text.html.php, source.php, text.html.basic'
+        'selector': 'embedding.php, source.php'
     }
     regex = (
         r'^(?P<error>Parse|Fatal) error:\s*'

Original file line number	Diff line number	Diff line change
`@@ -34,7 +34,7 @@ class PHP(Linter):`
`34`	`34`	`"""Provides an interface to php -l."""`
`35`	`35`
`36`	`36`	`defaults = {`
`37`		`- 'selector': 'embedding.php, text.html.php, source.php, text.html.basic'`
	`37`	`+ 'selector': 'embedding.php, source.php'`
`38`	`38`	`}`
`39`	`39`	`regex = (`
`40`	`40`	`r'^(?P<error>Parse\|Fatal) error:\s*'`