Extension:Tab Override/de-formal
![]() | This extension is currently not actively maintained! Although it may still work, any bug reports or feature requests will more than likely be ignored. |
![]() Release status: unmaintained |
|
---|---|
Implementation | User interface, Skin |
Description | Allows you to use the tab key as you normally would in a text-editor |
Author(s) | Bill Bryant, Mathew Tinsley (mtinsleyDiskussion) |
Latest version | 2.0.1 (2010-04-12) |
MediaWiki | 1.7.0 |
License | GPL |
Download | Download ReadMe Changelog |
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 :
require_once("$IP/extensions/tab-override/tab-override.php");