From 8e26b35e2adaac7af507c41cb9e4ec57afff8c94 Mon Sep 17 00:00:00 2001
From: Sergio Brighenti <sergio@brighenti.me>
Date: Sun, 9 Dec 2018 14:58:25 +0100
Subject: [PATCH] Added curl and wget to bots

---
 CHANGELOG.md    | 2 ++
 app/helpers.php | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index dbfc454b..1f2623e5 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,6 +1,8 @@
 ## v2.3.1
 + Fixed en lang.
 + Fixed forced background with dark themes.
++ Added checks during the installation wizard.
++ cURL and Wget can now directly download the file.
 
 ## v2.3
 + Improved image scaling in user gallery.
diff --git a/app/helpers.php b/app/helpers.php
index 119ef31c..5b3f8fbd 100644
--- a/app/helpers.php
+++ b/app/helpers.php
@@ -142,6 +142,8 @@ function isBot(string $userAgent)
 			'Discordbot/',
 			'Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:38.0) Gecko/20100101 Firefox/38.0', // The discord service bot?
 			'Facebot',
+			'curl/',
+			'wget/',
 		];
 
 		foreach ($bots as $bot) {