From 60bedb1f92223b40f3d45cc86eca03f32a68dafe Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Sat, 21 Sep 2024 15:32:36 +0200 Subject: [PATCH] PHP: Update doc. * gettext-tools/doc/lang-php.texi: Update. --- gettext-tools/doc/lang-php.texi | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) diff --git a/gettext-tools/doc/lang-php.texi b/gettext-tools/doc/lang-php.texi index 410a2eb06..57f310760 100644 --- a/gettext-tools/doc/lang-php.texi +++ b/gettext-tools/doc/lang-php.texi @@ -1,5 +1,5 @@ @c This file is part of the GNU gettext manual. -@c Copyright (C) 1995-2020 Free Software Foundation, Inc. +@c Copyright (C) 1995-2024 Free Software Foundation, Inc. @c See the file gettext.texi for copying conditions. @node PHP @@ -8,7 +8,7 @@ @table @asis @item RPMs -mod_php4, mod_php4-core, phpdoc +php @item Ubuntu packages php @@ -17,14 +17,15 @@ php @code{php}, @code{php3}, @code{php4} @item String syntax -@code{"abc"}, @code{'abc'} +@code{"abc"}, @code{'abc'}, +@code{<<, but we better not mention it +@c since it has a critical security vulnerability open since 2016. @item Extractor @code{xgettext} -- 2.47.2