[Bug 52303] Method of switching PHP versions from Vagrant CLI

2014-11-17 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=52303 Bryan Davis changed: What|Removed |Added Assignee|o...@wikimedia.org |wikibugs-l@lists.wikimedia.

[Bug 52303] Method of switching PHP versions from Vagrant CLI

2014-07-11 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=52303 Bryan Davis changed: What|Removed |Added CC||bda...@wikimedia.org --- Comment #5 from

[Bug 52303] Method of switching PHP versions from Vagrant CLI

2013-11-25 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=52303 --- Comment #4 from Tyler Romeo --- apt-get allows you to specify the version of package to install. For example: sudo apt-get install php5=5.5.3 Unfortunately it's only specific versions, meaning you can't do "php5>=5.4.9" or anything like t

[Bug 52303] Method of switching PHP versions from Vagrant CLI

2013-11-25 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=52303 --- Comment #3 from Ori Livneh --- Setting aside Vagrant and Puppet for the moment: what is the proper way to specify the default PHP interpreter in Ubuntu? -- You are receiving this mail because: You are on the CC list for the bug. _

[Bug 52303] Method of switching PHP versions from Vagrant CLI

2013-11-24 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=52303 --- Comment #2 from Tyler Romeo --- Note: HHVM also kind of falls under the scope of this bug. -- You are receiving this mail because: You are on the CC list for the bug. ___ Wikibugs-l mailing list

[Bug 52303] Method of switching PHP versions from Vagrant CLI

2013-09-11 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=52303 Andre Klapper changed: What|Removed |Added Component|MediaWiki-Vagrant |General Product|Tools