--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/web/wp-includes/registration-functions.php	Wed Feb 03 15:37:20 2010 +0000
@@ -0,0 +1,9 @@
+<?php
+/**
+ * Deprecated. Use registration.php.
+ *
+ * @package WordPress
+ */
+_deprecated_file( basename(__FILE__), '0.0', 'registration.php' );
+require_once(ABSPATH . WPINC .  '/registration.php');
+?>