Extension:PageHistoryRealnames
From MediaWiki.org
|
PageHistoryRealnames Release status: beta |
|||
|---|---|---|---|
| Implementation | Special page | ||
| Description | Adds users real name on history page | ||
| Author(s) | John Erling Blad | ||
| Last version | 0.2 (2009-12-17) | ||
| 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("$IP/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.
[edit] See also
- Extension:Realnames to display realnames on all pages
- Extension:ShowRealUsernames
- Extension:SearchRealnames
- Extension:LandingPage
