WI-18173 Smart line split in PHP on ctrl-enter