| @@ 724-728 (lines=5) @@ | ||
| 721 | if ($session_data) { |
|
| 722 | $session_data = preg_replace_callback( |
|
| 723 | '!s:(d+):"(.*?)";!', |
|
| 724 | function ($match) { |
|
| 725 | return $match[1] === strlen($match[2]) |
|
| 726 | ? $match[0] |
|
| 727 | : 's:' . strlen($match[2]) . ':"' . $match[2] . '";'; |
|
| 728 | }, |
|
| 729 | $session_data |
|
| 730 | ); |
|
| 731 | } |
|
| @@ 1255-1263 (lines=9) @@ | ||
| 1252 | $error = '<pre>'; |
|
| 1253 | $data2 = preg_replace_callback( |
|
| 1254 | '!s:(\d+):"(.*?)";!', |
|
| 1255 | function ($match) { |
|
| 1256 | return ($match[1] === strlen($match[2])) |
|
| 1257 | ? $match[0] |
|
| 1258 | : 's:' |
|
| 1259 | . strlen($match[2]) |
|
| 1260 | . ':"' |
|
| 1261 | . $match[2] |
|
| 1262 | . '";'; |
|
| 1263 | }, |
|
| 1264 | $data1 |
|
| 1265 | ); |
|
| 1266 | $max = (strlen($data1) > strlen($data2)) ? strlen($data1) : strlen($data2); |
|