This is what I would expect:
This is the output. Notice the space after the array casting.
Hi Ray,
This was actually a feature requested on GitHub https://github.com/DEVSENSE/phptools-docs/issues/175
We will make it customizable.
Thank you!
You will be able to configure this in the upcoming pre-release.