Matthias Mullie has uploaded a new change for review. https://gerrit.wikimedia.org/r/171869
Change subject: Hygiene: Add missing use ...................................................................... Hygiene: Add missing use Not really breaking anythin; it's only used in PHPDoc, but confused my IDE. Change-Id: I171f6a36d1a3ba4ae40b705be62e429e0c8ce218 --- M includes/Block/TopicList.php 1 file changed, 1 insertion(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Flow refs/changes/69/171869/1 diff --git a/includes/Block/TopicList.php b/includes/Block/TopicList.php index 43a0b03..a2eb43e 100644 --- a/includes/Block/TopicList.php +++ b/includes/Block/TopicList.php @@ -5,6 +5,7 @@ use Flow\Container; use Flow\Data\Pager\Pager; use Flow\Data\Pager\PagerPage; +use Flow\Formatter\TocTopicListFormatter; use Flow\Formatter\TopicListFormatter; use Flow\Formatter\TopicListQuery; use Flow\Model\PostRevision; -- To view, visit https://gerrit.wikimedia.org/r/171869 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I171f6a36d1a3ba4ae40b705be62e429e0c8ce218 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Flow Gerrit-Branch: master Gerrit-Owner: Matthias Mullie <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
