mikuli.cz

commit 753999591e42fb5ec8611a962c71e27a88f507b6
parent 98faa872b200f3b9039e23f7a410d837a2ad0a8e
Author: markseu <mark2011@mayberg.se>
Date:   Mon, 12 Oct 2015 18:00:26 +0200

Core update (version check)

Diffstat:
M
system/plugins/commandline.php
 | 
7
++-----

1 file changed, 2 insertions(+), 5 deletions(-)
diff --git a/system/plugins/commandline.php b/system/plugins/commandline.php
@@ -518,12 +518,9 @@ class YellowCommandline
 	// Return plugin version URL from repository
 	function getPluginVersionUrl($url)
 	{
-		if(!$this->yellow->lookup->isFileLocation($url))
+		if(preg_match("#^https://github.com/(.+)$#", $url, $matches))
 		{
-			if(preg_match("#^https://github.com/(.+)$#", $url, $matches))
-			{
-				$url = "https://raw.githubusercontent.com/".$matches[1]."/master/version.ini";
-			}
+			$url = "https://raw.githubusercontent.com/".$matches[1]."/master/version.ini";
 		}
 		return $url;
 	}