Bugzilla – Full Text Bug Listing
| Summary: | Cannot insert space before heredoc end tag | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Product: | z_Archived | Reporter: | Toshihiro Izumi <euthanasia_waltz> | ||||||
| Component: | PDT | Assignee: | PHP UI <php.ui-inbox> | ||||||
| Status: | CLOSED FIXED | QA Contact: | Ilina Stefanova <ilina.s> | ||||||
| Severity: | minor | ||||||||
| Priority: | P3 | ||||||||
| Version: | unspecified | ||||||||
| Target Milestone: | --- | ||||||||
| Hardware: | PC | ||||||||
| OS: | Linux | ||||||||
| Whiteboard: | |||||||||
| Attachments: |
|
||||||||
Created attachment 185199 [details]
patch
committed,thanks to Xu! Verified. |
Created attachment 185028 [details] .log (Linux only) 1. Edit php script as <?php $s=<<<EOM zzz... EOM; echo $s; 2. Move cursor on line 4 (before "EOM;") 3. Hit space key =>Nothing happened. Space is not inserted. "java.lang.Error: Error: could not match input" in .log It is reproducible on Windows by converting line delimiters to Unix.