diff options
Diffstat (limited to '')
-rw-r--r-- | tags/p/php-script-but-no-php-cli-dep.tag | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tags/p/php-script-but-no-php-cli-dep.tag b/tags/p/php-script-but-no-php-cli-dep.tag new file mode 100644 index 0000000..1b834d2 --- /dev/null +++ b/tags/p/php-script-but-no-php-cli-dep.tag @@ -0,0 +1,10 @@ +Tag: php-script-but-no-php-cli-dep +Severity: error +Check: scripts +Explanation: Packages with PHP scripts must depend on the php-cli package. + Note that a dependency on a php-cgi package (such as php-cgi or php7.0-cgi) + is needlessly strict and forces the user to install a package that isn't + needed. + . + In some cases a weaker relationship, such as Suggests or Recommends, will + be more appropriate. |