Example below shows JS code with PHP line. After source formatting, PHP code will be damaged. <? and ?> will be replaced by <(space)? and ?(space)>.
If PHP code will be replaced by:
<?php $a=10; ?>
everything will be ok.
<? $a=10; ?>
Thanks for reporting the issue.
We have logged an internal bug for this issue and tracking it.
We will update you once the bug is fixed.
Pete Batin commented
6 months for it to be logged and provide any sort of response, that's terrible.