What editor does Brett use in the http://trac.elgg.org?

I think that editor is very interesting, can we also use it in our elgg site?

 

THx in advance :)