From 906f7ffcd03c440443e134082e0d40bd42c410b3 Mon Sep 17 00:00:00 2001
From: hakre <hanskrentel@yahoo.de>
Date: Fri, 9 Oct 2026 17:41:28 +0200
Subject: [PATCH] remove php5 bin names

---
 configure.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure.php b/configure.php
index c18775d54e..ebf4a4278d 100755
--- a/configure.php
+++ b/configure.php
@@ -265,7 +265,7 @@ function find_xml_files($path) // {{{
 
 // Settings {{{
 $cygwin_php_bat = "{$srcdir}/../phpdoc-tools/php.bat";
-$php_bin_names = array('php', 'php5', 'cli/php', 'php.exe', 'php5.exe', 'php-cli.exe', 'php-cgi.exe');
+$php_bin_names = array('php', 'cli/php', 'php.exe', 'php-cli.exe', 'php-cgi.exe');
 // }}}
 
 $acd = array( // {{{