Krinkle has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/405995 )
Change subject: cover: Convert coverage sub-nav from breadcrumbs to nav-tabs
......................................................................
cover: Convert coverage sub-nav from breadcrumbs to nav-tabs
Breadcrumbs are mainly intended as a way to go from a subpage back
to an ancestor. Not as a way of going to a subpage.
Given the similarity, it looks somewhat confusing to see the breadcrumbs
visually end with 'MediaWiki extensions' when the user isn't actually
on that page.
Nav-tabs seems like a more appropiate fit within the building blocks
that Bootstrap provides.
Change-Id: Ic7b0cf9d76ed79f12074adf07d054e1fd2456746
---
M shared/CoveragePage.php
1 file changed, 6 insertions(+), 6 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/integration/docroot
refs/changes/95/405995/1
diff --git a/shared/CoveragePage.php b/shared/CoveragePage.php
index 8bb60e5..9418a7e 100644
--- a/shared/CoveragePage.php
+++ b/shared/CoveragePage.php
@@ -50,18 +50,18 @@
if ( $this->pageName === 'Test coverage' ) {
$href = $this->fixNavUrl( '/cover-extensions/' );
$breadcrumbs = <<<HTML
-<ol class="breadcrumb">
- <li class="active">Coverage home</li>
+<ul class="nav nav-tabs">
+ <li class="active"><a href="#">Coverage home</a></li>
<li><a href="$href">MediaWiki extensions</a></li>
-</ol>
+</ul>
HTML;
} else {
$href = $this->fixNavUrl( '/cover/' );
$breadcrumbs = <<<HTML
-<ol class="breadcrumb">
+<ul class="nav nav-tabs">
<li><a href="$href">Coverage home</a></li>
- <li class="active">MediaWiki extensions</li>
-</ol>
+ <li class="active"><a href="#">MediaWiki extensions</a></li>
+</ul>
HTML;
}
$this->addHtmlContent( $breadcrumbs );
--
To view, visit https://gerrit.wikimedia.org/r/405995
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ic7b0cf9d76ed79f12074adf07d054e1fd2456746
Gerrit-PatchSet: 1
Gerrit-Project: integration/docroot
Gerrit-Branch: master
Gerrit-Owner: Krinkle <krinklem...@gmail.com>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
