Home | History | Annotate | Download | only in geshi

Lines Matching full:prev_keys

4443         $prev_keys = array();
4461                 if (isset($prev_keys[$level])) {
4462                     if ($prev_keys[$level] == $entry) {
4467                     while (isset($entry[$char]) && isset($prev_keys[$level][$char])
4468                             && $entry[$char] == $prev_keys[$level][$char]) {
4473                         if ($char == strlen($prev_keys[$level])) {
4475                             $pointer = &$pointer[$prev_keys[$level]];
4478                             $new_key_part1 = substr($prev_keys[$level], 0, $char);
4479                             $new_key_part2 = substr($prev_keys[$level], $char);
4485                                 array_splice($prev_keys, $level, count($prev_keys), $entry);
4490                                 $pointer[$new_key_part1] = array($new_key_part2 => $pointer[$prev_keys[$level]]);
4491                                 unset($pointer[$prev_keys[$level]]);
4494                                 array_splice($prev_keys, $level, count($prev_keys), array($new_key_part1, $new_key_part2));
4523                 array_splice($prev_keys, $level, count($prev_keys), $entry);