Jhernandez has uploaded a new change for review.
https://gerrit.wikimedia.org/r/206773
Change subject: Hygiene: Remove outdated comment
......................................................................
Hygiene: Remove outdated comment
Change-Id: I442b4f14bb235420eb402f7c429ac0c14a07314b
---
M includes/views/Collection.php
1 file changed, 0 insertions(+), 3 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Gather
refs/changes/73/206773/1
diff --git a/includes/views/Collection.php b/includes/views/Collection.php
index 08cbae9..0f4de6f 100644
--- a/includes/views/Collection.php
+++ b/includes/views/Collection.php
@@ -159,9 +159,6 @@
$view = new CollectionItemCard( $item );
$html .= $view->getHtml();
}
- // FIXME: Pagination(??) currently we
- // limit the size of the collection
- // Pagination may or may not be needed.
$html .= Html::closeElement( 'div' );
return $html;
}
--
To view, visit https://gerrit.wikimedia.org/r/206773
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I442b4f14bb235420eb402f7c429ac0c14a07314b
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Gather
Gerrit-Branch: master
Gerrit-Owner: Jhernandez <jhernan...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
