echo $original;
?>
</small></div>
<div class="panel-body" style="height:100%;overflow:auto;margin-bottom:20px">
<?php
echo $diff->getOldHtml();
?>
</div>
</div>
</div>
<div style="height:50%;">
<div class="panel panel-default">
<div class="panel-heading">Revised Document</div>
<div class="panel-body" style="height:100%;overflow:auto">
<?php
echo $diff->getNewHtml();
?>
</div>
</div>
</div>
</div>
</div>
</body>
<script>
$(document).ready(function(){
$('select[name=original]').change(function(){
value = $(this).val();
$('select[name=revised] option').attr('disabled',false);
$('select[name=revised] option[value='+value+']').attr('disabled',true);
if($('select[name=revised]').val() == value){
