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