Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

Topic: "cli-changer-script"

custom-dev-tools/wampserver-php-cli-version-changer

WampServer PHP CLI version changer is a Microsoft Windows batch script that allows you to easily add and then change between available WampServer PHP CLI versions using the users environment 'path' variable.

Language: Batchfile - Size: 43.9 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 42 - Forks: 8

Related Topics
build-tool 1 changer 1 cli 1 cli-tool 1 developer-environment 1 developer-productivity 1 developer-tools 1 development-environment 1 development-tools 1 environmental-path-variable 1 php-cli 1 php-scripts 1 php-version 1 php-versions 1 tui 1 wamp-server 1 wampserver 1 wampserver-php-cli 1 windows 1