From 331e3599368cc490b07adce8c2165c405ea994d9 Mon Sep 17 00:00:00 2001 From: Niklas Keller Date: Tue, 12 Sep 2017 09:39:42 +0200 Subject: [PATCH] Fix indent --- examples/custom-config.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/custom-config.php b/examples/custom-config.php index 34827e1..4337e82 100644 --- a/examples/custom-config.php +++ b/examples/custom-config.php @@ -16,7 +16,7 @@ $customConfigLoader = new class implements Dns\ConfigLoader { "[2001:4860:4860::8888]:53", ], $hosts, $timeout = 5000, $attempts = 3); }); - } + } }; Dns\resolver(new Dns\BasicResolver(null, $customConfigLoader));