Searched +full:diff +(+path:plugin +path:sync) -(+path:plugin +path:sync +path:lang) (Results 1 – 3 of 3) sorted by relevance
3 * Attach diff popup6 …window.open(jQuery(this).attr("href"),'diff',"width=700,height=500,left=100,top=100,menubar=no,loc…
29 <title><?php echo $plugin->getLang('diff')?></title>
523 <th class="sync__diff">'.$this->getLang('diff').'</th>616 …'.DOKU_BASE.'lib/plugins/sync/diff.php?id='.$id.'&no='.$no.'" target="_blank" class="sync_popu…706 * show diff between the local and remote versions of the page721 $df = new Diff(explode("\n",htmlspecialchars($local)),725 echo '<table class="diff">';