Wikimedia Bugzilla is closed!

Some settings should be configurable by user without touching the main VagrantFile (in GIT). Vagrant file could have this code:

  mediaWikiDir = 'mediawiki'
  webPort = 8080

  load('LocalSettings.rb') if File.file?('LocalSettings.rb')

Having just these two settings will allow users to move MediaWiki directory to another location (e.g. one level up to share with other vagrants), and set up multiple host's ports to address multiple instances.