I filed a bug, since no one else did :) https://phabricator.wikimedia.org/T233257
-- Bartosz Dziewoński _______________________________________________ MediaWiki-l mailing list To unsubscribe, go to: https://lists.wikimedia.org/mailman/listinfo/mediawiki-l
