$to_text = ''; if (!empty($_REQUEST['from']) || !empty($_REQUEST['to'])) { if (!empty($_REQUEST['from'])) { $from_text = $_REQUEST['from']; } if (!empty($_REQUEST['to'])) { $to_text = $_REQUEST['to']; } } $diff = ''; $granularityStacks = array(FineDiff::$paragraphGranularity, FineDiff::$sentenceGranularity, FineDiff::$wordGranularity, FineDiff::$characterGranularity); $from_len = strlen($from_text); $to_len = strlen($to_text); $start_time = gettimeofday(true); $diff = new FineDiff($from_text, $to_text, $granularityStacks[$granularity]); $edits = $diff->getOps(); $exec_time = gettimeofday(true) - $start_time; $rendered_diff = $diff->renderDiffToHTML(); $rendering_time = gettimeofday(true) - $start_time; $diff_len = strlen($diff->getOpcodes()); ?> <form action="viewdiff.php" method="post"> <div class="panecontainer" style="display:inline-block;width:49.5%"><p>From</p><div><textarea name="from" class="pane"><?php echo htmlentities($from_text); ?> </textarea></div></div> <div class="panecontainer" style="display:inline-block;width:49.5%"><p>To</p><div><textarea name="to" class="pane"><?php echo htmlentities($to_text); ?> </textarea></div></div> <p id="params">Granularity:<input name="granularity" type="radio" value="0"<?php