* tests/php/scheck/edit_distance.php: