Last modified: 2014-07-17 15:34:25 UTC

Wikimedia Bugzilla is closed!

Wikimedia migrated from Bugzilla to Phabricator. Bug reports are handled in Wikimedia Phabricator.
This static website is read-only and for historical purposes. It is not possible to log in and except for displaying bug reports and their history, links might be broken. See T69867, the corresponding Phabricator task for complete and up-to-date bug report information.
First Last Prev Next    This bug is not in your last search results.
Bug 67867 - Cleanup the vagrant::settings define
Cleanup the vagrant::settings define
Status: RESOLVED FIXED
Product: MediaWiki-Vagrant
Classification: Unclassified
General (Other open bugs)
unspecified
All All
: Low minor
: ---
Assigned To: Ori Livneh
:
Depends on:
Blocks:
  Show dependency tree / graph
 
Reported: 2014-07-11 17:31 UTC by Bryan Davis
Modified: 2014-07-17 15:34 UTC (History)
2 users (show)

See Also:
Web browser: ---
Mobile Platform: ---
Assignee Huggle Beta Tester: ---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Description Bryan Davis 2014-07-11 17:31:39 UTC 
Changes in the mediawiki-plugin have made some of the options for the vagrant::settings define obsolete (box_name, box_uri, puppet_debug).
Comment 1 Gerrit Notification Bot 2014-07-13 22:31:09 UTC 
Change 145987 had a related patch set uploaded by BryanDavis:
Remove obsolete settings

https://gerrit.wikimedia.org/r/145987
Comment 2 Gerrit Notification Bot 2014-07-14 01:06:52 UTC 
Change 145987 merged by jenkins-bot:
Remove obsolete settings

https://gerrit.wikimedia.org/r/145987
Note You need to log in before you can comment on or make changes to this bug.
First Last Prev Next    This bug is not in your last search results.

Navigation
Links