--- a/wp/wp-admin/includes/ms-deprecated.php	Mon Jun 08 16:11:51 2015 +0000
+++ b/wp/wp-admin/includes/ms-deprecated.php	Tue Jun 09 03:35:32 2015 +0200
@@ -14,7 +14,7 @@
  */
 function wpmu_menu() {
 	_deprecated_function(__FUNCTION__, '3.0' );
-	// deprecated. See #11763
+	// Deprecated. See #11763.
 }
 
 /**
@@ -53,7 +53,6 @@
  */
 function deactivate_sitewide_plugin( $plugin = false ) {
 	_deprecated_function(__FUNCTION__, '3.0', 'deactivate_plugin()' );
-	return;
 }
 
 /**