Extension:Tab Override

What can this extension do?
Tab Override allows you to use the tab key as you normally would in a text editor or IDE. In other words, pressing the tab key inserts a tab character rather than removing focus from the text area. This makes writing source code much easier.

Usage
No configuration required. After it is installed you can test it by editing a page and pressing the tab key in the textarea.

Installation
To install this extension, add the following to LocalSettings.php:

Code
This is the javascript code used in the current version: