1--TEST--
2levenshtein() bug 7368
3--FILE--
4<?php
5
6var_dump(levenshtein('13458', '12345'));
7var_dump(levenshtein('1345', '1234'));
8
9?>
10--EXPECT--
11int(2)
12int(2)
13