summaryrefslogtreecommitdiffstats
path: root/tags/o/obsolete-comments-style-in-php-ini.tag
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-14 13:42:30 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-14 13:42:30 +0000
commit75808db17caf8b960b351e3408e74142f4c85aac (patch)
tree7989e9c09a4240248bf4658a22208a0a52d991c4 /tags/o/obsolete-comments-style-in-php-ini.tag
parentInitial commit. (diff)
downloadlintian-75808db17caf8b960b351e3408e74142f4c85aac.tar.xz
lintian-75808db17caf8b960b351e3408e74142f4c85aac.zip
Adding upstream version 2.117.0.upstream/2.117.0upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to '')
-rw-r--r--tags/o/obsolete-comments-style-in-php-ini.tag9
1 files changed, 9 insertions, 0 deletions
diff --git a/tags/o/obsolete-comments-style-in-php-ini.tag b/tags/o/obsolete-comments-style-in-php-ini.tag
new file mode 100644
index 0000000..015582e
--- /dev/null
+++ b/tags/o/obsolete-comments-style-in-php-ini.tag
@@ -0,0 +1,9 @@
+Tag: obsolete-comments-style-in-php-ini
+Severity: warning
+Check: languages/php
+Explanation: This package ships a <code>.ini</code> file used to configure php but
+ it has comments using the old-style comment separator <code>#</code>.
+ Instead, the <code>;</code> separator should be used.
+ .
+ Since version 5.3, the PHP interpreter warns about the use of the
+ old style of comment separator.