</form>
</div>
<?php
}/**
* Shows a username form for the favorites page.
*
* @since 3.5.0
*/
function install_plugins_favorites_form() { $user =
get_user_option( 'wporg_favorites'
);
$action = 'save_wporg_username_' .
get_current_user_id();
?>
<p><?php
_e( 'If you have marked plugins as favorites on WordPress.org, you can browse them here.'
); ?></p>
<form method="get">
<input type="hidden" name="tab" value="favorites" />
<p>
<label for="user"><?php
_e( 'Your WordPress.org username:'
); ?></label>
<input type="search" id="user" name="user" value="<?php
echo esc_attr( $user ); ?>" />
<input type="submit" class="button" value="<?php
esc_attr_e( 'Get Favorites'
); ?>" />
<input type="hidden" id="wporg-username-nonce" name="_wpnonce" value="<?php
echo esc_attr( wp_create_nonce( $action ) ); ?>" />
</p>
</form>