Spotted in production:
1 Undefined index: wsCollectionSuggestProp in /srv/mediawiki/php-1.26wmf10/extensions/Collection/Collection.suggest.php on line 194 1 Undefined index: wsCollectionSuggestBan in /srv/mediawiki/php-1.26wmf10/extensions/Collection/Collection.suggest.php on line 193
Not terribly common so setting low prio.