kalabox/kalabox#1170: Correct detection of pantheon vs. php plugin in GUI.
kalabox/kalabox#1170: Correct detection of pantheon vs. php plugin in GUI.

kalabox/kalabox-ui,kalabox/kalabox-ui,pirog/kalabox-ui,kalabox/kalabox-ui,pirog/kalabox-ui