<?php

class Credentials {
  public $servername = "";
  public $username = "";
  public $password = "";
  public $dbname = "pastanaga";
  public $usersdb = "pastanaga";
  public $mortsdb = "pastanaga_morts";
  public $adminToken = "longRandomStringForTheAdminPages";
};