         show_ssh : false
 
     propTypes :
-        project : rtypes.object.isRequired
+        project  : rtypes.object.isRequired
+        user_map : rtypes.immutable.Map
 
     open_authorized_keys: (e) ->
         e.preventDefault()

        if host?
            if @state.show_ssh
                <div>
                    SSH into your project: <span style={color:'#666'}>First add your public key to <a onClick={@open_authorized_keys} href=''>~/.ssh/authorized_keys</a>, then use the following username@host:</span>
                    {# WARNING: previous use of <FormControl> here completely breaks copy on Firefox.}
                    <pre>{"#{misc.replace_all(project_id, '-', '')}@#{host}.sagemath.com"} </pre>


{HelpEmailLink}   = require('./customize')
{ShowSupportLink} = require('./support')
{SSHKeyAdder, SSHKeyList} = require('./widget-ssh-keys/main')

{PROJECT_UPGRADES} = require('smc-util/schema')

