A bit of reflection convinced me that this was a really bad idea :-) I have just done the following:
- Reverted modes/php.py in the 6.3 branch.
There is no reason to make any changes at this late date.
- Scheduled #1718 for Leo 6.4.
I may do this during my sabbatical as part of studying WordPress code. If so, I'll do the work in a branch based on devel.
- Retained improvements to the traces created by --trace=coloring.
These are useful and should not be in any way dangerous.
Expect 6.3 b1 today, with public announcements this coming Monday.
Edward