Command-line script to convert between array() and PHP 5.4's short syntax []