Extension:PageHistoryRealnames

From MediaWiki.org
Jump to: navigation, search
MediaWiki extensions manual - list
Crystal Clear action run.png
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
Hooks used
PageHistoryLineEnding
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.

Contents

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]