[Bug 11627] Add syntax highlighting to Edit box

https://bugzilla.wikimedia.org/show_bug.cgi?id=11627 Pavel (pastakhov) pastak...@yandex.ru changed: What|Removed |Added CC|

[Bug 11627] Add syntax highlighting to Edit box

https://bugzilla.wikimedia.org/show_bug.cgi?id=11627 Diederik van Liere dvanli...@gmail.com changed: What|Removed |Added CC|

[Bug 11627] Add syntax highlighting to Edit box

https://bugzilla.wikimedia.org/show_bug.cgi?id=11627 Andre Klapper aklap...@wikimedia.org changed: What|Removed |Added Version|unspecified |1.22-git --

[Bug 11627] Add syntax highlighting to Edit box

https://bugzilla.wikimedia.org/show_bug.cgi?id=11627 Eduard Braun eduard.bra...@gmx.de changed: What|Removed |Added CC|