jenkins-bot has submitted this change and it was merged.
Change subject: Page: Use trailing slash to avoid redirect overhead
......................................................................
Page: Use trailing slash to avoid redirect overhead
See T95164.
Change-Id: I656d1cea18fbb16efebeb3858ca866ba0a76da13
---
M shared/Page.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Krinkle: Looks good to me, approved
jenkins-bot: Verified
diff --git a/shared/Page.php b/shared/Page.php
index 6ca9968..0d8c14f 100644
--- a/shared/Page.php
+++ b/shared/Page.php
@@ -302,7 +302,7 @@
$this->addHtmlContent( '<ul class="nav nav-pills nav-stacked">'
);
foreach ( $subDirPaths as $path ) {
$dirName = basename( $path );
- $this->addHtmlContent( '<li><a href="./' .
htmlspecialchars( $dirName ) . '">'
+ $this->addHtmlContent( '<li><a href="./' .
htmlspecialchars( $dirName ) . '/">'
. htmlspecialchars( $dirName )
. '</a>'
);
--
To view, visit https://gerrit.wikimedia.org/r/202025
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I656d1cea18fbb16efebeb3858ca866ba0a76da13
Gerrit-PatchSet: 1
Gerrit-Project: integration/docroot
Gerrit-Branch: master
Gerrit-Owner: Krinkle <krinklem...@gmail.com>
Gerrit-Reviewer: Krinkle <krinklem...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
