Added curl and wget to bots

This commit is contained in:
Sergio Brighenti 2018-12-09 14:58:25 +01:00
parent 4aee250929
commit 8e26b35e2a
2 changed files with 4 additions and 0 deletions

View file

@ -1,6 +1,8 @@
## v2.3.1 ## v2.3.1
+ Fixed en lang. + Fixed en lang.
+ Fixed forced background with dark themes. + Fixed forced background with dark themes.
+ Added checks during the installation wizard.
+ cURL and Wget can now directly download the file.
## v2.3 ## v2.3
+ Improved image scaling in user gallery. + Improved image scaling in user gallery.

View file

@ -142,6 +142,8 @@ if (!function_exists('isBot')) {
'Discordbot/', 'Discordbot/',
'Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:38.0) Gecko/20100101 Firefox/38.0', // The discord service bot? 'Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:38.0) Gecko/20100101 Firefox/38.0', // The discord service bot?
'Facebot', 'Facebot',
'curl/',
'wget/',
]; ];
foreach ($bots as $bot) { foreach ($bots as $bot) {