language/english/tools.json
changeset 590 03a60844c7c5
parent 541 acb7e23b6ffa
child 832 7152ca0a0ce9
equal deleted inserted replaced
589:88d4ed0a2898 590:03a60844c7c5
    37       download_file: 'Download file',
    37       download_file: 'Download file',
    38       log_in: 'Log in',
    38       log_in: 'Log in',
    39       log_out: 'Log out',
    39       log_out: 'Log out',
    40       register: 'Register',
    40       register: 'Register',
    41       preferences: 'Edit Profile',
    41       preferences: 'Edit Profile',
       
    42       autofill: 'Javascript suggestion servlet',
    42       contributions: 'User contributions',
    43       contributions: 'User contributions',
    43       change_theme: 'Change my preferred theme',
    44       change_theme: 'Change my preferred theme',
    44       activate_account: 'Activate user account',
    45       activate_account: 'Activate user account',
    45       captcha: 'CAPTCHA image generator',
    46       captcha: 'CAPTCHA image generator',
    46       password_reset: 'Reset forgotten password',
    47       password_reset: 'Reset forgotten password',