--- page.module 2005-02-08 13:44:39.000000000 -0600
+++ page.module 2005-04-20 22:19:50.000000000 -0500
@@ -22,7 +22,7 @@
  * Implementation of hook_perm().
  */
 function page_perm() {
-  return array('create pages', 'edit own pages');
+  return array('create pages', 'edit own pages', 'edit others pages');
 }

 /**
@@ -43,7 +43,7 @@
   }

   if ($op == 'update' || $op == 'delete') {
-    if (user_access('edit own pages') && ($user->uid == $node->uid)) {
+    if (user_access('edit own pages') && (($user->uid == $node->uid) || user_access('edit others pages'))) {
       return TRUE;
     }
   }