1 files changed, 17 insertions, 0 deletions
diff --git a/rpminfo.stub.php b/rpminfo.stub.php
new file mode 100644
index 0000000..7e6e32e
--- /dev/null
+++ b/rpminfo.stub.php
@@ -0,0 +1,17 @@
+<?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, ?string $operator = null): int|bool {}
+
+#ifdef HAVE_ARCHIVE
+function rpmgetsymlink(string $path, string $name): string|null {}
+#endif