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 {}
+
+