Rename snippet 'get-php-major-version' to 'get-php-major-version.sh'..

2023-08-02 23:17:45 +02:00
parent 588cf5ca2e
commit 14f062908f
13 changed files with 12 additions and 12 deletions
--- a/convert_filecache_bigint.sh
+++ b/convert_filecache_bigint.sh
@ -304,7 +304,7 @@ source ${snippet_dir}/get-webservice-environment.sh

 # Check PHP Version
 #
-source ${snippet_dir}/get-php-major-version
+source ${snippet_dir}/get-php-major-version.sh

 if [[ -x "/usr/local/php-${PHP_VERSION}/bin/php" ]] ; then
   PHP_BIN="/usr/local/php-${PHP_VERSION}/bin/php"