jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/398595 )
Change subject: Normalize path in AutoloadGenerator::setExcludePaths
......................................................................
Normalize path in AutoloadGenerator::setExcludePaths
Fix is for windows machine
Change-Id: Iadedeb6a04df439c0e940b8eb62fa46757c571c3
---
M includes/utils/AutoloadGenerator.php
1 file changed, 3 insertions(+), 1 deletion(-)
Approvals:
Umherirrender: Looks good to me, approved
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/utils/AutoloadGenerator.php
b/includes/utils/AutoloadGenerator.php
index 1c7c9b0..1415ea3 100644
--- a/includes/utils/AutoloadGenerator.php
+++ b/includes/utils/AutoloadGenerator.php
@@ -74,7 +74,9 @@
* @param string[] $paths
*/
public function setExcludePaths( array $paths ) {
- $this->excludePaths = $paths;
+ foreach ( $paths as $path ) {
+ $this->excludePaths[] = self::normalizePathSeparator(
$path );
+ }
}
/**
--
To view, visit https://gerrit.wikimedia.org/r/398595
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Iadedeb6a04df439c0e940b8eb62fa46757c571c3
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <umherirrender_de...@web.de>
Gerrit-Reviewer: Legoktm <lego...@member.fsf.org>
Gerrit-Reviewer: Umherirrender <umherirrender_de...@web.de>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
