Index: wp-includes/deprecated.php
===================================================================
--- wp-includes/deprecated.php	(revision 13711)
+++ wp-includes/deprecated.php	(working copy)
@@ -2440,10 +2440,23 @@
  * @see get_the_author_meta()
  */
 function get_profile( $field, $user = false ) {
-	_deprecated_function(__FUNCTION__, '3.0', 'get_the_author_meta()' );
+	_deprecated_function( __FUNCTION__, '3.0', 'get_the_author_meta()' );
 	if ( $user ) {
 		$user = get_user_by( 'login', $user );
 		$user = $user->ID;
 	}
 	return get_the_author_meta( $field, $user );
+}
+
+/**
+ * Number of posts user has written.
+ *
+ * @since 0.71
+ * @deprecated 3.0.0
+ * @deprecated Use count_user_posts()
+ * @see count_user_posts()
+ */
+function get_usernumposts( $userid ) {
+	_deprecated_function( __FUNCTION__, '3.0', 'count_user_posts()' );
+	return count_user_posts( $userid );
 }
\ No newline at end of file
Index: wp-includes/user.php
===================================================================
--- wp-includes/user.php	(revision 13711)
+++ wp-includes/user.php	(working copy)
@@ -142,7 +142,7 @@
 /**
  * Number of posts user has written.
  *
- * @since 0.71
+ * @since 3.0.0
  * @uses $wpdb WordPress database object for queries.
  *
  * @param int $userid User ID.