From fae09eb1d15cfc35b5e6a566c42492e926f16082 Mon Sep 17 00:00:00 2001
From: westi <westi@1a063a9b-81f0-0310-95a4-ce76da25c4cd>
Date: Fri, 11 Jun 2010 17:55:08 +0000
Subject: [PATCH] Fell the dead wood. No point keeping a function as deprecated
 we only just introduced. See #13747

git-svn-id: http://svn.automattic.com/wordpress/trunk@15230 1a063a9b-81f0-0310-95a4-ce76da25c4cd
---
 wp-includes/deprecated.php | 16 ----------------
 1 file changed, 16 deletions(-)

diff --git a/wp-includes/deprecated.php b/wp-includes/deprecated.php
index ec5a92327..77c3e1dfe 100644
--- a/wp-includes/deprecated.php
+++ b/wp-includes/deprecated.php
@@ -2514,22 +2514,6 @@ function trackback_rdf($deprecated = '') {
 	return '';
 }
 
-/**
- * Checks if a post type is registered.
- *
- * @since 3.0.0
- * @deprecated 3.0.0
- * @deprecated Use post_type_exists()
- * @see post_type_exists()
- *
- * @param string Post type name
- * @return bool Whether post type is registered.
- */
-function is_post_type( $post_type ) {
-	_deprecated_function( __FUNCTION__, '3.0', 'post_type_exists()' );
-	return post_type_exists( $post_type );
-}
-
 /**
  * Checks that the taxonomy name exists.
  *