diff options
author | Remi Collet <remi@remirepo.net> | 2023-09-11 10:21:36 +0200 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2023-09-11 10:21:36 +0200 |
commit | 64504e8b8fb097d6e849953eb0e4721321c41a27 (patch) | |
tree | 6d993631f655de280efa8b6db1c664f0294ae39b /rpminfo.stub.php | |
parent | 1662502e7dc10dcd4f17eb304486e2058cbb1d5a (diff) |
add optional operator to rpmcmpver for consistency with version_compare
Diffstat (limited to 'rpminfo.stub.php')
-rw-r--r-- | rpminfo.stub.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rpminfo.stub.php b/rpminfo.stub.php index 543cc5f..022ccd4 100644 --- a/rpminfo.stub.php +++ b/rpminfo.stub.php @@ -10,6 +10,6 @@ function rpmdbsearch(string $pattern, int $rpmtag = RPMTAG_NAME, int $rpmmire = function rpminfo(string $path, bool $full = false, ?string &$error = null): Array|null {} -function rpmvercmp(string $evr1, string $evr2): int {} +function rpmvercmp(string $evr1, string $evr2, ?string $operator = null): int|bool {} |