Thread:Template talk:Extension/Vagrant role parameter

Any objections to adding a new  parameter to show that the extension can be automatically installed with MediaWiki-Vagrant?