Extension:PageHistoryRealnames

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.

Installation

 * 1) Download PageHistoryRealnames.php and PageHistoryRealnames.i18n.php, and save them in extensions/PageHistoryRealnames directory on your wiki.
 * 2) Insert this line in the LocalSettings.php file:

Usage

 * No additional action is necessary to use this extension

Alternatives

 * Not known

Feedback
Use the discussion page for feedback, questions, feature requests and bug reports.