Index: wp-includes/link-template.php
===================================================================
--- wp-includes/link-template.php	(revision 17566)
+++ wp-includes/link-template.php	(working copy)
@@ -208,22 +208,6 @@
 }
 
 /**
- * Retrieve permalink from post ID.
- *
- * @since 1.0.0
- *
- * @param int $post_id Optional. Post ID.
- * @param mixed $deprecated Not used.
- * @return string
- */
-function post_permalink( $post_id = 0, $deprecated = '' ) {
-	if ( !empty( $deprecated ) )
-		_deprecated_argument( __FUNCTION__, '1.3' );
-
-	return get_permalink($post_id);
-}
-
-/**
  * Retrieve the permalink for current page or page ID.
  *
  * Respects page_on_front. Use this one.
Index: wp-includes/deprecated.php
===================================================================
--- wp-includes/deprecated.php	(revision 17566)
+++ wp-includes/deprecated.php	(working copy)
@@ -2602,3 +2602,18 @@
 	return true;
 }
 
+
+/**
+ * Retrieve permalink from post ID.
+ *
+ * @since 1.0.0
+ * @deprecated 3.2
+ * @deprecated Use get_permalink()
+ *
+ * @param int $post_id Optional. Post ID.
+ * @return string
+ */
+function post_permalink( $post_id = 0 ) {
+	_deprecated_function( __FUNCTION__, '3.2', 'get_permalink()' );
+	return get_permalink($post_id);
+}
\ No newline at end of file