Extension:MWExtSpecialRealName
![]() | This extension is currently not actively maintained! Although it may still work, any bug reports or feature requests will more than likely be ignored. |
![]() Release status: unmaintainedCategory:Unmaintained extensions |
|
---|---|
Implementation | User interfaceCategory:User interface extensions, Special pageCategory:Special page extensions |
Description | The page will redirect to a user's page, given the user's real name. |
Author(s) | Xiaodu (dujiulun2006talk) |
Latest version | 0.1 (2015-06-05) |
MediaWiki | 1.23.9Category:Extensions with manual MediaWiki version |
License | GNU General Public License 3.0 |
Download | GitHub: Note: |
The MWExtSpecialRealName extension provides a special page. The page will redirect to a user's page, given the user's real name.
It is very useful for group or corporate Wikis, where users call each other by their real names and fills the "Real name" field in their profiles.
Installation
- Download and extract, find the directory MWExtSpecialRealName, and place the file(s) in a directory called
MWExtSpecialRealName
in yourextensions/
folder. - Add the following code at the bottom of your LocalSettings.php file:
require_once "$IP/extensions/MWExtSpecialRealName/MWExtSpecialRealName.php";
Done – Navigate to Special:Version on your wiki to verify that the extension is successfully installed.Category:Extensions not using extension registration
Configuration parameters
There are no parameters.
User rights
The code does not require user with specific rights for now.
Category:All extensions
Category:Extensions in GitHub version control
Category:Extensions not in ExtensionJson
Category:Extensions not using extension registration
Category:Extensions with manual MediaWiki version
Category:Extensions without a compatibility policy
Category:Extensions without an image
Category:GPL licensed extensions
Category:Special page extensions
Category:Unmaintained extensions
Category:User interface extensions