ファイルの差分を抽出して
違う場所を色分けしたりできる
便利なライブラリを発見したのでメモメモ。
その名も「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();
コメント