Sign in
webkit
/
WebKit
/
fff5469af9e21121a01bc52b64d66a2e93b51665
/
.
/
LayoutTests
/
http
/
tests
/
workers
/
service
/
resources
/
updating-worker.php
blob: 73e6ba7ba59e231c3f467ecbbafca696bcc9d7bb [
file
] [
log
] [
blame
]
<?
php
header
(
'Content-Type: text/javascript'
);
$randomId
=
''
;
$charset
=
'ABCDEFGHIKLMNOPQRSTUVWXYZ0123456789'
;
for
(
$i
=
0
;
$i
<
16
;
$i
++)
$randomId
.=
$charset
[
rand
(
0
,
strlen
(
$charset
)
-
1
)];
echo
'let randomId = "'
.
$randomId
.
'";'
;
?>