Can't create any demo: DiscussionTools vs Linter

Created by: DemianX0

Creating demos fail with the following message:

+ php /var/www/html/wikis/de9703c9100b489f06cde4c3de39eef8/w/maintenance/install.php --dbname=patchdemo_de9703c9100b489f06cde4c3de39eef8 --dbuser=patchdemo --dbpass=patchdemo --confpath=/var/www/html/wikis/de9703c9100b489f06cde4c3de39eef8/w --server=http://patchdemo.wmflabs.org --scriptpath=/wikis/de9703c9100b489f06cde4c3de39eef8/w --with-extensions --pass=patchdemo1 'Patch Demo (585851,26)' 'Patch Demo'
A dependency error was encountered while installing the extension "DiscussionTools": Could not find the registration file for the extension "Linter"

Could not install the wiki.