Last modified: 2014-11-18 18:07:22 UTC
It would help the readability of long user scripts a lot if they had syntax highlight instead of the current <pre>-style display (possibly as an option in preferences, in case somebody doesn't like it).
Made it possible in r23537, fixed it in r23538.
Reverted in r23617, r23618 per bug 10422. The <source> tags can now be added manually on both user and site JS.
Reverted back to Rob's revisions in r23657 and r23658, per Brion at bug 10422 comment 10.