From 300d194185f8f5dbed2fe9260d0b22924b6e4b1f Mon Sep 17 00:00:00 2001
From: "Dylan K. Taylor" <dktapps@pmmp.io>
Date: Sun, 5 Dec 2021 01:09:03 +0000
Subject: [PATCH] CS again

---
 tools/ping-server.php | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/tools/ping-server.php b/tools/ping-server.php
index 400985246..912119d5c 100644
--- a/tools/ping-server.php
+++ b/tools/ping-server.php
@@ -30,8 +30,17 @@ use raklib\protocol\UnconnectedPing;
 use raklib\protocol\UnconnectedPong;
 use function bin2hex;
 use function count;
+use function fgets;
+use function gethostbynamel;
+use function hrtime;
+use function intdiv;
 use function mt_rand;
 use function ord;
+use function sleep;
+use function socket_bind;
+use function socket_close;
+use function socket_create;
+use function socket_getsockname;
 use function socket_last_error;
 use function socket_recvfrom;
 use function socket_select;
@@ -39,6 +48,7 @@ use function socket_sendto;
 use function socket_strerror;
 use function strlen;
 use function time;
+use function trim;
 use const MSG_DONTROUTE;
 use const PHP_BINARY;
 use const PHP_INT_MAX;