Mobile Key

Mobile Key is a Wiki extension with the purpose to export wiki keys as html pages for mobile applications, using the key data harvested by the extension Template Parameter Index.

Installation

The extension Template Parameter Index must be installed first. In your $IP/extensions folder create a Mobile Key folder, and decompress the files of the Mobile Key extension to this folder. Also create a folder called MobileKey in $wgScriptPath/media/temp/ (this is the default $wgMobileKeyFilePath, with $wgMobileKeyFileDirectory = $IP/media/temp/MobileKey/, they can be overwritten in LocalSettings.php). Install the extension by adding to LocalSettings.php:

 include_once("$IP/extensions/MobileKey/MobileKey.php");

$wgGroupPermissions['user']['mobilekey'] = true; 

is set as default group Permissions. This can also be overwritten in LocalSettings.php.

Wiki file resolver

see Wiki File Resolver