Add docker container definition

Change-Id: If32020e6b8e8bb816eb54533554b18cc5302b5c9
diff --git a/php/request.php b/php/request.php
index ac2c8cf..39f17dd 100644
--- a/php/request.php
+++ b/php/request.php
@@ -3,8 +3,8 @@
 	require 'utils.php';
 
 	$credentials = new Credentials();
-	$usersdb = $credentials->usersdb;
-	$mortsdb = $credentials->mortsdb;
+	$usersdb = $credentials->usersdb();
+	$mortsdb = $credentials->mortsdb();
 
 	// Do the query
 	$queries = [""];