install_plugins_favorites_form()

366function install_plugins_favorites_form() {367	$user   = get_user_option( 'wporg_favorites' );368	$action = 'save_wporg_username_' . get_current_user_id();369	?>370	<p><?php _e( 'If you have marked plugins as favorites on WordPress.org, you can browse them here.' ); ?></p>371	<form method="get">372		<input type="hidden" name="tab" value="favorites" />373		<p>374			<label for="user"><?php _e( 'Your WordPress.org username:' ); ?></label>375			<input type="search" id="user" name="user" value="<?php echo esc_attr( $user ); ?>" />376			<input type="submit" class="button" value="<?php esc_attr_e( 'Get Favorites' ); ?>" />377			<input type="hidden" id="wporg-username-nonce" name="_wpnonce" value="<?php echo esc_attr( wp_create_nonce( $action ) ); ?>" />378		</p>379	</form>380	<?php381}