Main merge to user management system - files are now at /main/public/

1 files changed, 0 insertions, 9 deletions

diff --git a/assets/php/vendor/paragonie/random_compat/psalm-autoload.php b/assets/php/vendor/paragonie/random_compat/psalm-autoload.php
deleted file mode 100755
index d71d1b8..0000000
--- a/assets/php/vendor/paragonie/random_compat/psalm-autoload.php
+++ /dev/null
@@ -1,9 +0,0 @@
-<?php
-
-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);