diff --git a/tools/sandbox/config.php.dist b/tools/sandbox/config.php similarity index 100% rename from tools/sandbox/config.php.dist rename to tools/sandbox/config.php