@@ 718-722 (lines=5) @@ | ||
715 | if ($session_data) { |
|
716 | $session_data = preg_replace_callback( |
|
717 | '!s:(d+):"(.*?)";!', |
|
718 | function ($match) { |
|
719 | return $match[1] === strlen($match[2]) |
|
720 | ? $match[0] |
|
721 | : 's:' . strlen($match[2]) . ':"' . $match[2] . '";'; |
|
722 | }, |
|
723 | $session_data |
|
724 | ); |
|
725 | } |
|
@@ 1247-1255 (lines=9) @@ | ||
1244 | $error = '<pre>'; |
|
1245 | $data2 = preg_replace_callback( |
|
1246 | '!s:(\d+):"(.*?)";!', |
|
1247 | function ($match) { |
|
1248 | return ($match[1] === strlen($match[2])) |
|
1249 | ? $match[0] |
|
1250 | : 's:' |
|
1251 | . strlen($match[2]) |
|
1252 | . ':"' |
|
1253 | . $match[2] |
|
1254 | . '";'; |
|
1255 | }, |
|
1256 | $data1 |
|
1257 | ); |
|
1258 | $max = (strlen($data1) > strlen($data2)) ? strlen($data1) : strlen($data2); |