web/wp-includes/wp-diff.php
changeset 204 09a1c134465b
parent 194 32102edaa81b
equal deleted inserted replaced
203:f507feede89a 204:09a1c134465b
   420 		// Vectors containing character frequency for all chars in each string
   420 		// Vectors containing character frequency for all chars in each string
   421 		$chars1 = count_chars($string1);
   421 		$chars1 = count_chars($string1);
   422 		$chars2 = count_chars($string2);
   422 		$chars2 = count_chars($string2);
   423 
   423 
   424 		// L1-norm of difference vector.
   424 		// L1-norm of difference vector.
   425 		$difference = array_sum( array_map( array(&$this, 'difference'), $chars1, $chars2 ) );
   425 		$difference = array_sum( array_map( array($this, 'difference'), $chars1, $chars2 ) );
   426 
   426 
   427 		// $string1 has zero length? Odd. Give huge penalty by not dividing.
   427 		// $string1 has zero length? Odd. Give huge penalty by not dividing.
   428 		if ( !$string1 )
   428 		if ( !$string1 )
   429 			return $difference;
   429 			return $difference;
   430 
   430