Extension:PageHistoryRealnames

From MediaWiki.org
Jump to navigation Jump to search
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
Hooks used
PageHistoryLineEnding
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.

Installation[edit]

  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");
    

Usage[edit]

No additional action is necessary to use this extension

Alternatives[edit]

Not known

Feedback[edit]

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

See also[edit]