diff options
author | Remi Collet <remi@remirepo.net> | 2021-06-18 12:24:17 +0200 |
---|---|---|
committer | Remi Collet <remi@remirepo.net> | 2021-06-18 12:24:17 +0200 |
commit | 495c53de87635ba2adf5dd80fff54953ed5df556 (patch) | |
tree | 5a7eef800472b837cadc42f5fe009dcccb4549b2 /rpminfo.stub.php | |
parent | 55668fe2653259743aef7959100b43b58165bdb5 (diff) |
generate argingo from stub
Diffstat (limited to 'rpminfo.stub.php')
-rw-r--r-- | rpminfo.stub.php | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/rpminfo.stub.php b/rpminfo.stub.php new file mode 100644 index 0000000..543cc5f --- /dev/null +++ b/rpminfo.stub.php @@ -0,0 +1,15 @@ +<?php + +/** @generate-function-entries */ + +function rpmaddtag(int $rpmtag): bool {} + +function rpmdbinfo(string $nevr, bool $full = false): Array|null {} + +function rpmdbsearch(string $pattern, int $rpmtag = RPMTAG_NAME, int $rpmmire = -1, bool $full = false): Array|null {} + +function rpminfo(string $path, bool $full = false, ?string &$error = null): Array|null {} + +function rpmvercmp(string $evr1, string $evr2): int {} + + |