Merge branch 'develop' of github.com:getgrav/grav into feature/v1.8

2026-03-03 11:01:30 +01:00 · 2022-03-31 11:31:04 +03:00
parent 69bc3f7f25 2ea39309b6
commit 5bfd43256d
1 changed files with 2 additions and 2 deletions
--- a/system/src/Grav/Framework/Flex/FlexDirectory.php
+++ b/system/src/Grav/Framework/Flex/FlexDirectory.php
@@ -172,7 +172,7 @@ class FlexDirectory implements FlexDirectoryInterface
    }

    /**
-     * @param string|string[]|null
+     * @param string|string[]|null $properties
     * @return array
     */
    public function getSearchProperties($properties = null): array
@@ -193,7 +193,7 @@ class FlexDirectory implements FlexDirectoryInterface

        return $properties;
    }
-    
+
    /**
     * @param array|null $options
     * @return array