Extension:User Contact Links
From MediaWiki.org
 Release status: stable |
|
|---|---|
| Implementation | Extended syntax |
| Description | Create properly formatted links to other wiki user's names/pages |
| Author(s) | Paul Grinberg |
| Version | v0.4.1 (January 27, 2008) |
| Download | Download here |
| Example | ^^^user name^^^ |
| Hooks used | |
Contents |
[edit] Overview
This extension provides the ability to insert properly formatted user names with links to their respective user pages. Probably all wiki contributors have run across the following problem: the article text should make some reference to some other wiki user, but to do so properly ([[:User:username|full name]]) is tedious at best both because of the cumbersome syntax and possibly not knowing the username of a user whose full name is well known. This extention makes this task very easy by providing new wiki syntax to do so. Simply add ^^^user name^^^ and all the tediousness and guesswork is done. Moreover, the user name can be any of the following:
- wiki username
- user full name (first space last)
- last name of the user
- partial match of any part of user full name
[edit] Installation Instructions
[edit] Step 1
Download the extension code from SVN and place it in the extensions directory.
[edit] Step 2
Add the following text to your LocalSettings.php
require_once( "$IP/extensions/UserSignature.php" );
[edit] Revisions
- v0.4.1 - January 27, 2008 - Minor bug fix to not report a E_NOTICE error message.
- v0.4 -
- v0.3 - November 8, 2007
- Incorporate suggestion from Khitrenovich to work with MW version 1.8.3 and prior
- Made the installation simpler by conditionally creating the getUserIDFromUserText() function depending on whether or not Extension:Todo Tasks is installed
- v0.2 - August 28, 2007 - initial publication on MediaWiki website.
