jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/385235 )
Change subject: [PluggableAuth] Fix path of alias file ...................................................................... [PluggableAuth] Fix path of alias file Follow-Up: I9dc600efcbd5dc1f97b8a4e6b13508b894da7e61 Change-Id: Ibfa16d5d0ae37bab12976c2d1e9bf9affd556dd0 --- M groups/MediaWiki/mediawiki-extensions.txt 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Raimond Spekking: Looks good to me, approved jenkins-bot: Verified diff --git a/groups/MediaWiki/mediawiki-extensions.txt b/groups/MediaWiki/mediawiki-extensions.txt index 0d2465c..17856b2 100644 --- a/groups/MediaWiki/mediawiki-extensions.txt +++ b/groups/MediaWiki/mediawiki-extensions.txt @@ -1989,7 +1989,7 @@ Pipe Escape Pluggable Auth -aliasfile = PluggableAuth/PluggableAuth.alias.php +aliasfile = PluggableAuth/includes/PluggableAuth.alias.php Pluggable SSO optional = pluggablesso-extensionname -- To view, visit https://gerrit.wikimedia.org/r/385235 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ibfa16d5d0ae37bab12976c2d1e9bf9affd556dd0 Gerrit-PatchSet: 1 Gerrit-Project: translatewiki Gerrit-Branch: master Gerrit-Owner: Umherirrender <umherirrender_de...@web.de> Gerrit-Reviewer: Raimond Spekking <raimond.spekk...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits