<?php // $Id: userkey.php 68 2009-07-31 18:23:01Z dlandau $
$string['createnewkey'] = 'Create a new user key';
$string['createuserkey'] = 'Create user key';
$string['deletekeyconfirm'] = 'Do you really want to delete this user key?';
$string['edituserkey'] = 'Edit user key';
$string['keyiprestriction'] = 'Key IP restriction';
$string['keymanager'] = 'Key manager';
$string['keyvaliduntil'] = 'Key valid until';
$string['keyvalue'] = 'Key value';
$string['newuserkey'] = 'New user key';
$string['userkey'] = 'User key';
$string['userkeys'] = 'User keys'; 
?>
