Open main menu

Extension:PageHistoryRealnames

MediaWiki extensions manual
OOjs UI icon advanced.svg
PageHistoryRealnames
Release status: unmaintained
Implementation Special page
Description Adds users real name on history page
Author(s) John Erling Blad (ver 0.2 17. Dec 2009)
Latest version 0.3 (2014-11-06)
MediaWiki 1.22–1.28
License GNU General Public License 2.0 or later
Download PageHistoryRealnames.php, PageHistoryRealnames.i18n.php
Translate the PageHistoryRealnames extension if it is available at translatewiki.net
Check usage and version matrix.

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.

InstallationEdit

  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:
    include_once("$IP/extensions/PageHistoryRealnames/PageHistoryRealnames.php");
    

UsageEdit

No additional action is necessary to use this extension

AlternativesEdit

Not known

FeedbackEdit

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

See alsoEdit