--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wp/wp-includes/rss-functions.php	Wed Nov 06 03:21:17 2013 +0000
@@ -0,0 +1,9 @@
+<?php
+/**
+ * Deprecated. Use rss.php instead.
+ *
+ * @package WordPress
+ */
+
+_deprecated_file( basename(__FILE__), '2.1', WPINC . '/rss.php' );
+require_once( ABSPATH . WPINC . '/rss.php' );