diff options
| -rw-r--r-- | php-mongodb-rpm.patch | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/php-mongodb-rpm.patch b/php-mongodb-rpm.patch new file mode 100644 index 0000000..93c861f --- /dev/null +++ b/php-mongodb-rpm.patch @@ -0,0 +1,24 @@ +diff -up ./src/Client.php.rpm ./src/Client.php +--- ./src/Client.php.rpm 2020-08-10 14:57:12.478570154 +0200 ++++ ./src/Client.php 2020-08-10 14:58:11.161534530 +0200 +@@ -18,7 +18,6 @@ + namespace MongoDB; + + use Iterator; +-use Jean85\PrettyVersions; + use MongoDB\Driver\ClientEncryption; + use MongoDB\Driver\Exception\InvalidArgumentException as DriverInvalidArgumentException; + use MongoDB\Driver\Exception\RuntimeException as DriverRuntimeException; +@@ -387,11 +386,7 @@ class Client + private static function getVersion() : string + { + if (self::$version === null) { +- try { +- self::$version = PrettyVersions::getVersion('mongodb/mongodb')->getPrettyVersion(); +- } catch (Throwable $t) { +- return 'unknown'; +- } ++ self::$version = '@VERSION@'; + } + + return self::$version; |