From eae3aab2aef10bf41449146798533b757dbf5887 Mon Sep 17 00:00:00 2001
From: Anatol Belski <ab@php.net>
Date: Thu, 17 Aug 2017 18:19:07 +0200
Subject: [PATCH] revert the deps path reset part and sync

---
 lib/php/libsdk/SDK/Config.php | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/lib/php/libsdk/SDK/Config.php b/lib/php/libsdk/SDK/Config.php
index 4cc217a..7cc0fa1 100644
--- a/lib/php/libsdk/SDK/Config.php
+++ b/lib/php/libsdk/SDK/Config.php
@@ -294,9 +294,9 @@ class Config
 		return file_get_contents($path);
 	}/*}}}*/
 
-	public static function getDepsLocalPath(bool $reset = false) : ?string
+	public static function getDepsLocalPath() : ?string
 	{/*{{{*/
-		if (NULL == self::$depsLocalPath || $reset) {
+		if (NULL == self::$depsLocalPath) {
 			if (file_exists("Makefile")) {
 				$s = file_get_contents("Makefile");
 
@@ -308,14 +308,14 @@ class Config
 			}
 		}
 
-		if (NULL == self::$depsLocalPath || $reset) {
+		if (NULL == self::$depsLocalPath) {
 			$tmp = dirname(getcwd()) . DIRECTORY_SEPARATOR . "deps";
 			if (is_dir($tmp)) {
 				self::setDepsLocalPath($tmp);
 			}
 		}
 		
-		if (NULL == self::$depsLocalPath || $reset) {
+		if (NULL == self::$depsLocalPath) {
 			$tmp = realpath("../deps");
 			if (is_dir($tmp)) {
 				self::setDepsLocalPath($tmp);