Merge pull request #2338 from FreshRSS/dev1.14.1

FreshRSS 1.14.1

1 files changed, 5 insertions, 0 deletions

diff --git a/p/ext.php b/p/ext.php
index 427bdc253..1b123f47d 100644
--- a/p/ext.php
+++ b/p/ext.php
@@ -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;