ファイルの差分を抽出して
違う場所を色分けしたりできる
便利なライブラリを発見したのでメモメモ。
その名も「PHP-FineDiff」
使い方もチョー簡単!
//============================
// 差分抽出
//============================
include dirname(__FILE__) . '/PHP-FineDiff/finediff.php';
$granularity = 2;
if (preg_match("/^[0-3]{1}$/", $getGranularity)) {
$granularity = $getGranularity;
}
$rendered_diff = '';
$from = $htmlBefore;
$to = $htmlAfter;
$from_len = strlen($from);
$to_len = strlen($to);
$start_time = gettimeofday(true);
$granularityStacks = array(
FineDiff::$paragraphGranularity,
FineDiff::$sentenceGranularity,
FineDiff::$wordGranularity,
FineDiff::$characterGranularity
);
$diff = new FineDiff($from, $to, $granularityStacks[$granularity]);
$renderedDiff = $diff->renderDiffToHTML();

コメント