1 files changed, 22 insertions, 0 deletions
diff --git a/rpminfo.stub.php b/rpminfo.stub.php
new file mode 100644
index 0000000..026df4b
--- /dev/null
+++ b/rpminfo.stub.php
@@ -0,0 +1,22 @@
+<?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 {}
+
+function rpmgetsymlink(string $path, string $name): string|null {}
+
+function rpmexpand(string $text): string {}
+
+function rpmexpandnumeric(string $text): int {}
+
+function rpmdefine(string $macro): bool {}
+