Add libsodium stub for randombytes

other/ide_stubs/libsodium.php

@@ -0,0 +1,46 @@
+<?php
+namespace Sodium;
+
+/**
+ * This does nothing if the libsodium extension is loaded, so it's harmless.
+ *
+ * This file alone is released under CC0 and WTFPL dual licensing.
+ */
+if (!extension_loaded('libsodium')) {
+
+    /**
+     * Generate a string of random bytes
+     * /dev/urandom
+     *
+     * @param int $length
+     * @return string
+     */
+    function randombytes_buf(
+        $length
+    ) {
+        return '';
+    }
+
+    /**
+     * Generate a 16-bit integer
+     * /dev/urandom
+     *
+     * @return int
+     */
+    function randombytes_random16() {
+        return '';
+    }
+
+    /**
+     * Generate an unbiased random integer between 0 and a specified value
+     * /dev/urandom
+     *
+     * @param int $upperBoundNonInclusive
+     * @return int
+     */
+    function randombytes_uniform(
+        $upperBoundNonInclusive
+    ) {
+        return 0;
+    }
+}

psalm-autoload.php

@@ -3,6 +3,7 @@
 require_once 'lib/byte_safe_strings.php';
 require_once 'lib/cast_to_int.php';
 require_once 'lib/error_polyfill.php';
+require_once 'other/ide_stubs/libsodium.php';
 require_once 'lib/random.php';
 
 $int = random_int(0, 65536);