mirror of
https://github.com/FreshRSS/FreshRSS.git
synced 2026-07-19 19:42:59 -04:00
Fix for extensions on Windows (#2348)
https://github.com/FreshRSS/FreshRSS/issues/994 https://github.com/FreshRSS/FreshRSS/issues/2287
This commit is contained in:
committed by
GitHub
parent
09a5b4493d
commit
74f92658b7
@@ -20,6 +20,11 @@ require(__DIR__ . '/../constants.php');
|
||||
function is_valid_path($path) {
|
||||
// It must be under the extension path.
|
||||
$real_ext_path = realpath(EXTENSIONS_PATH);
|
||||
|
||||
//Windows compatibility
|
||||
$real_ext_path = str_replace('\\', '/', $real_ext_path);
|
||||
$path = str_replace('\\', '/', $path);
|
||||
|
||||
$in_ext_path = (substr($path, 0, strlen($real_ext_path)) === $real_ext_path);
|
||||
if (!$in_ext_path) {
|
||||
return false;
|
||||
|
||||
Reference in New Issue
Block a user