zhaojs
2023-07-12 5d4fe0c03fa48cbe575983d7e6cb126477e0e9f4
1
2
3
4
5
6
7
8
9
<?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);