From 0c9b6a67970bc7172ee8e2f84dda52150881d2d4 Mon Sep 17 00:00:00 2001 From: "Dylan K. Taylor" Date: Fri, 23 Dec 2022 19:00:45 +0000 Subject: [PATCH] DatFilePlayerDataProvider: added documentation --- src/player/DatFilePlayerDataProvider.php | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/player/DatFilePlayerDataProvider.php b/src/player/DatFilePlayerDataProvider.php index f9c722350..53388dceb 100644 --- a/src/player/DatFilePlayerDataProvider.php +++ b/src/player/DatFilePlayerDataProvider.php @@ -39,6 +39,9 @@ use function zlib_decode; use function zlib_encode; use const ZLIB_ENCODING_GZIP; +/** + * Stores player data in a single .dat file per player. Each file is gzipped big-endian NBT. + */ final class DatFilePlayerDataProvider implements PlayerDataProvider{ public function __construct(