equal
deleted
inserted
replaced
268 function __sourcePusher(&$code, $name) { |
268 function __sourcePusher(&$code, $name) { |
269 $this->__sourceLength += strlen($code); |
269 $this->__sourceLength += strlen($code); |
270 array_push($this->__sources, array('code'=>$code, 'name'=>$name)); |
270 array_push($this->__sources, array('code'=>$code, 'name'=>$name)); |
271 } |
271 } |
272 function __wordsParser($str, &$d) { |
272 function __wordsParser($str, &$d) { |
273 if(is_null($key = array_shift($key = array_keys($d,$str)))) |
273 if(@is_null($key = array_shift($key = array_keys($d,$str)))) |
274 $key = array_push($d, $str) - 1; |
274 $key = array_push($d, $str) - 1; |
275 return $key; |
275 return $key; |
276 } |
276 } |
277 } |
277 } |
278 |
278 |