GitHub Access Token became invalid

It seems like the GitHub access token used for retrieving details about this repository from GitHub became invalid. This might prevent certain types of inspections from being run (in particular, everything related to pull requests).
Please ask an admin of your repository to re-new the access token on this website.

Code Duplication    Length = 8-9 lines in 2 locations

Sistema/Nucleo/CFSesion.php 2 locations

@@ 139-146 (lines=8) @@
136
   return true;
137
   }
138
139
   function destruir($id) {
140
      if(!isset($this->delete_stmt)) {
141
      $this->delete_stmt = $this->db->prepare("DELETE FROM sesiones WHERE id = ?");
142
   }
143
   $this->delete_stmt->bind_param('s', $id);
144
   $this->delete_stmt->execute();
145
   return true;
146
   }
147
148
   function gc($max) {
149
      if(!isset($this->gc_stmt)) {
@@ 148-156 (lines=9) @@
145
   return true;
146
   }
147
148
   function gc($max) {
149
      if(!isset($this->gc_stmt)) {
150
      $this->gc_stmt = $this->db->prepare("DELETE FROM sesiones WHERE set_time < ?");
151
   }
152
   $old = time() - $max;
153
   $this->gc_stmt->bind_param('s', $old);
154
   $this->gc_stmt->execute();
155
   return true;
156
   }
157
158
   private function getkey($id) {
159