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