WP: Allow users to edit posts of other users

In wp-admin/edit-pages.php line 19:


AND ($wpdb->users.user\_level <= $user_level OR $wpdb->posts.post\_author = $user_ID)