Warning: require_once(other/ide_stubs/libsodium.php): failed to open stream: No such file or directory in C:\laragon\www\eregis\student\vendor\paragonie\random_compat\psalm-autoload.php on line 6

Fatal error: require_once(): Failed opening required 'other/ide_stubs/libsodium.php' (include_path='.;C:/laragon/etc/php/pear') in C:\laragon\www\eregis\student\vendor\paragonie\random_compat\psalm-autoload.php on line 6