Extension:User Contact Links

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 ( 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:
 * 1) wiki username
 * 2) user full name (first space last)
 * 3) last name of the user
 * 4) partial match of any part of user full name

Step 1
Download the extension code from SVN and place it in the extensions directory.

Step 2
Add the following text to your LocalSettings.php

Revisions

 * 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.