Extension:UserTools

<?php /*(($disable$))

Purpose
Provides a secure magic word 'usergetoption' to retrieve user options.

Usage
This extension is really meant to be used with Extension:ParserPhase2.
 * E.g.
 * Get the current user's email option
 * E.g.
 * Get the specified user's email option IFF the current has the 'userdetails' right

Features

 * Options are categorized as either 'RESTRICTED' or 'UNRESTRICTED' for privacy reasons
 * User must have the 'userdetails' right to access 'RESTRICTED' options

Dependancy

 * StubManager extension

Installation
To install independantly from BizzWiki:
 * Download & Install Extension:StubManager extension
 * Dowload all this extension's files and place in the desired directory
 * Apply the following changes to 'LocalSettings.php' after the statements of Extension:StubManager: