jenkins-bot has submitted this change and it was merged.
Change subject: Use pretty link in toolbox
......................................................................
Use pretty link in toolbox
Change-Id: I7b41c13395b44cc778337908f25ec09322c6e390
---
M Contributors.hooks.php
1 file changed, 3 insertions(+), 2 deletions(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/Contributors.hooks.php b/Contributors.hooks.php
index 8615ce3..351efd1 100644
--- a/Contributors.hooks.php
+++ b/Contributors.hooks.php
@@ -74,8 +74,9 @@
if ( $skintemplate->getTitle()->getNamespace() === NS_MAIN &&
$revid !== 0 ) {
$nav_urls['contributors'] = array(
'text' => $skintemplate->msg(
'contributors-toolbox' ),
- 'href' => $skintemplate->makeSpecialUrl(
'Contributors',
- "target=" . wfUrlEncode(
"{$skintemplate->thispage}" ) )
+ 'href' => $skintemplate->makeSpecialUrl(
+ 'Contributors/' . wfUrlencode(
$skintemplate->thispage )
+ ),
);
}
return true;
--
To view, visit https://gerrit.wikimedia.org/r/278879
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I7b41c13395b44cc778337908f25ec09322c6e390
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Contributors
Gerrit-Branch: master
Gerrit-Owner: Addshore <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
