Difference between revisions of "Mobile Key"

Revision as of 16:56, 16 June 2010

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.

Usage

The extension creates a Special Page "Mobile Key". On this page the user can enter the name of the wiki page that contains the wiki key. On clicking the "Show" button the html pages with the wiki key are created, including recursively keys that are linked as identification results. These and also the images are stored on the server, and a zip archive is created. The latter can be downloaded by clicking the "Download" button. If the file format is not supported by a mobile device, files can be downloaded on and then copied from a PC.

Copy offline key to Smartphone running Android 1.5 to 2.0

• download zip-file to PC
• unpack zip-file e.g. using 7zip
  • it is advisable to use a short folder name like "key"
  • make sure the index.html file is directly inside rather than in further folders
• connect the device to the PC via USB cable (USB driver may have to be installed)
• on the Android system, pull down the notifications from the status bar on the top of the home screen
• touch "USB connected - Select to copy files to/from your computer"
• touch the button Mount to make the SD Card available through USB
• On the PC, copy the folder containing the unzipped mobile key to the SD Card.
• Disconnect USB (or unmount the SD Card)
• on the Android system, activate the browser, click the menu button, touch "Go", type in the address:
  • content://com.android.htmlfileprovider/sdcard/key/index.html
  • (write an angry letter to Google that they require such a long string to type...)
  • Adding a bookmark using menu, bookmark, add will not work, http:// is added in front of it.
  • (write a letter to Google ...)
  • however, it is recorded in the history correctly.

Copy offline key to Samsung Galaxy (Android)

Use the instructions above. However, the Galaxy has an external and internal SD Card, and you must use the internal SD Card. If you are unsure, which card is the internal: the internal will contain the photo folder "DCIM".

TODO: Try /sdcard/sd/ -- is this the external SD card?

... Android 2.1 and later

• Untested: instead of content://com.android.htmlfileprovider/sdcard Android 2.1 and later should support file:///sdcard

Wiki file resolver

see Wiki File Resolver