php-mongodb - new package for php 8.2

fritzkink

2023-12-25 851cd5721904afd5369055381778e81a271b5bde

 tools/cloney

@@ -96,7 +96,7 @@
    while read i;
do
   rm -f "${destdir}/$i"
   cp "${srcdir}/$i" "${destdir}/$i"
   cp -a "${srcdir}/$i" "${destdir}/$i"
done
else
   echo "CLONEY_MODE=$CLONEY_MODE not supported"