Index: src/wp-admin/my-sites.php
===================================================================
--- src/wp-admin/my-sites.php	(revision 40971)
+++ src/wp-admin/my-sites.php	(working copy)
@@ -9,7 +9,7 @@
 
 require_once( dirname( __FILE__ ) . '/admin.php' );
 
-if ( !is_multisite() )
+if ( ! is_multisite() )
 	wp_die( __( 'Multisite support is not enabled.' ) );
 
 if ( ! current_user_can('read') )
Index: src/wp-admin/plugin-editor.php
===================================================================
--- src/wp-admin/plugin-editor.php	(revision 40971)
+++ src/wp-admin/plugin-editor.php	(working copy)
@@ -14,7 +14,7 @@
 	exit();
 }
 
-if ( !current_user_can('edit_plugins') )
+if ( ! current_user_can('edit_plugins') )
 	wp_die( __('Sorry, you are not allowed to edit plugins for this site.') );
 
 $title = __("Edit Plugins");