From e50dd60a99a1849f6f2a77f34b4443fa72939ca5 Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Fri, 12 Jun 2026 09:24:44 +0200 Subject: new package open https://github.com/wikimedia/mediawiki-php-wikidiff2/pull/1 Cleanups in config.m4 open https://github.com/wikimedia/mediawiki-php-wikidiff2/pull/2 display configuration --- 0001-display-configuration-in-phpinfo.patch | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 0001-display-configuration-in-phpinfo.patch (limited to '0001-display-configuration-in-phpinfo.patch') diff --git a/0001-display-configuration-in-phpinfo.patch b/0001-display-configuration-in-phpinfo.patch new file mode 100644 index 0000000..bd78de2 --- /dev/null +++ b/0001-display-configuration-in-phpinfo.patch @@ -0,0 +1,25 @@ +From fa521ad798b1e56ee5b665d6984fda0115509706 Mon Sep 17 00:00:00 2001 +From: Remi Collet +Date: Fri, 12 Jun 2026 08:59:09 +0200 +Subject: [PATCH] display configuration in phpinfo + +--- + src/php_wikidiff2.cpp | 2 ++ + 1 file changed, 2 insertions(+) + +diff --git a/src/php_wikidiff2.cpp b/src/php_wikidiff2.cpp +index 2ea23ab..d45b68e 100644 +--- a/src/php_wikidiff2.cpp ++++ b/src/php_wikidiff2.cpp +@@ -100,6 +100,8 @@ PHP_MINFO_FUNCTION(wikidiff2) + php_info_print_table_header(2, "wikidiff2 support", "enabled"); + php_info_print_table_row(2, "wikidiff2 version", WIKIDIFF2_VERSION_STRING); + php_info_print_table_end(); ++ ++ DISPLAY_INI_ENTRIES(); + } + + /** +-- +2.54.0 + -- cgit