update grav et plugin

2020-09-08 11:32:48 +02:00
parent 7435174adc
commit 72aae1eb2d
274 changed files with 11935 additions and 4906 deletions
@@ -9,6 +9,8 @@

 namespace Grav\Common;

+use function donatj\UserAgent\parse_user_agent;
+
 /**
 * Internally uses the PhpUserAgent package https://github.com/donatj/PhpUserAgent
 */