Extension:PageHistoryRealnames
From MediaWiki.org
 Release status: beta |
|||
|---|---|---|---|
| Implementation | Special page | ||
| Description | Adds users real name on history page | ||
| Author(s) | John Erling Blad | ||
| Last Version | 0.1 (2009-11-07) | ||
| License | GPL | ||
| Download | PageHistoryRealnames.php, PageHistoryRealnames.i18n.php | ||
|
|||
|
check usage (experimental) |
|||
PageHistoryRealnames is an extension for MediaWiki that adds real names for the editors to each row at the history page, if the user has defined a real name.
Contents |
[edit] Installation
- Download PageHistoryRealnames.php and PageHistoryRealnames.i18n.php, and save them in extensions/PageHistoryRealnames directory on your wiki.
- Insert this line in the LocalSettings.php file:
include_once('extensions/PageHistoryRealnames/PageHistoryRealnames.php');
[edit] Usage
- No additional action is necessary to use this extension
[edit] Alternatives
- Not known
[edit] Feedback
Use the discussion page for feedback, questions, feature requests and bug reports.
