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 (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

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

[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

Personal tools
Namespaces
Variants
Actions
Site
Support
Download
Development
Communication
Print/export
Toolbox