Thank you for your input. We will consider this functionality in upcoming releases, if it will be popular.
Everyone, please continue voting for this feature if you consider it important.
An error occurred while saving the commentAnonymous commented
We need this because we have different things in our directories which require different versions of php.