https://bugzilla.wikimedia.org/show_bug.cgi?id=52303
Web browser: ---
Bug ID: 52303
Summary: Method of switching PHP versions from Vagrant CLI
Product: Tools
Version: unspecified
Hardware: All
OS: All
Status: NEW
Severity: enhancement
Priority: Unprioritized
Component: MediaWiki-Vagrant
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected]
Classification: Unclassified
Mobile Platform: ---
Have method of switching PHP versions from the command line for testing
purposes, e.g., switching between 5.3 and 5.4.
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
