Update OrderedListDiffer.php