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){