Searched refs:ioIndex (Results 1 – 2 of 2) sorted by relevance
| /plugin/database2/ |
| H A D | media.php | 85 list( $pageID, $ioIndex, $column ) = $source;
87 $session = $_SESSION['database2'][$pageID]['tables'][$ioIndex]['editors'][$column];
116 $ioIndex, $user, $addr ) = $source;
124 $salt = $_SESSION['database2'][$pageID]['tables'][$ioIndex]['linkedMediaSalts'][$t];
148 public function __construct( $dsn, $authSlot, $table, $ioIndex, argument
160 $this->ioIndex = $ioIndex;
219 $db = new Database2_media( $dsn, $authSlot, $table, $ioIndex, $pageID );
|
| H A D | database2.php | 109 protected $ioIndex = null; variable in Database2
284 if ( is_null( $this->ioIndex ) )
285 $this->ioIndex = self::$ioIndices[$tableName]++;
287 return $this->ioIndex;
644 $this->ioIndex = null; // drop to re-obtain new I/O index next
953 $ioIndex = $this->getIndex();
|