Fix formatting.

Fix "Player.php" filename case.
This commit is contained in:
Keir 2015-12-11 12:28:12 +00:00
parent 7749401e62
commit 4b122b16ae
2 changed files with 3 additions and 2 deletions

View File

@ -2,12 +2,13 @@
require_once('snapshot.php');
require_once('message.php');
require_once('player.php');
require_once('Player.php.renaming');
$dataDir = 'data/';
// ID corresponds to the Report ID
if (!isset($_GET['identifier']) || empty($_GET['identifier'])) {
if (!isset($_GET['identifier']) || empty($_GET['identifier']))
{
exit('No identifier supplied.');
}