Add docker container definition

Change-Id: If32020e6b8e8bb816eb54533554b18cc5302b5c9
diff --git a/php/utils.php b/php/utils.php
index 1c41567..80c5d84 100644
--- a/php/utils.php
+++ b/php/utils.php
@@ -55,8 +55,8 @@
 		$users = [];
 
 		$credentials = new Credentials();
-		$usersdb = $credentials->usersdb;
-		$mortsdb = $credentials->mortsdb;
+		$usersdb = $credentials->usersdb();
+		$mortsdb = $credentials->mortsdb();
 
 		// Prepare the query
 		$query = "SELECT * FROM $usersdb";