diff options
| -rw-r--r-- | inc/html.php | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/inc/html.php b/inc/html.php index 505474e0d..0afdb1820 100644 --- a/inc/html.php +++ b/inc/html.php @@ -1087,9 +1087,10 @@ function html_diff($text='',$intro=true,$type=null){ // array in rev2. $rev1 = $REV; - if(is_array($INPUT->ref('rev2'))){ - $rev1 = (int) $INPUT->int('rev2')[0]; - $rev2 = (int) $INPUT->int('rev2')[1]; + $rev2 = $INPUT->ref('rev2'); + if(is_array($rev2)){ + $rev1 = (int) $rev2[0]; + $rev2 = (int) $rev2[1]; if(!$rev1){ $rev1 = $rev2; |