Fix "Player.php" filename case.

This commit is contained in:
Keir 2015-12-11 12:28:38 +00:00
parent 4b122b16ae
commit a1f1667647
2 changed files with 1 additions and 1 deletions

View File

@ -2,7 +2,7 @@
require_once('snapshot.php');
require_once('message.php');
require_once('Player.php.renaming');
require_once('player.php');
$dataDir = 'data/';