php/php.editor/test/unit/data/testfiles/indent/issue175437_4.php.indented

<?php
    $text = "hello"; 
    ^/* comment */

?>