diff options
| author | 2022-08-10 09:36:54 +0200 | |
|---|---|---|
| committer | 2022-08-10 09:36:54 +0200 | |
| commit | e86c10e2f554ba60e95f745b3b062262b37c7188 (patch) | |
| tree | 321c12bf9e253e9baec81df0d67f75df90a1dd8e /p | |
| parent | 82ac1d1e676f93b1567eba608c00c6edaf401a9e (diff) | |
Composer require php extensions (#4497)
#fix https://github.com/FreshRSS/FreshRSS/discussions/4494
Diffstat (limited to 'p')
| -rw-r--r-- | p/ext.php | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -60,6 +60,7 @@ function is_valid_path_extension($path, $extensionPath, $isStatic = true) { // Static files to serve must be under a `ext_dir/static/` directory. $path_relative_to_ext = substr($path, strlen($real_ext_path) + 1); + // @phpstan-ignore-next-line list(,$static,$file) = sscanf($path_relative_to_ext, '%[^/]/%[^/]/%s'); if (null === $file || 'static' !== $static) { return false; |
