make River happy

diff --git a/includes/Revision.php b/includes/Revision.php
index 93b92a9..0758d3f 100644 (file)
--- a/includes/Revision.php
+++ b/includes/Revision.php
@@ -264,7 +264,7 @@ class Revision {
                        $this->mTimestamp =         $row->rev_timestamp;
                        $this->mDeleted   = intval( $row->rev_deleted );
 
-                       if( !isset( $row->rev_len ) )
+                       if( is_null( $row->rev_len ) )
                                $this->mSize = null;
                        else
                                $this->mSize = intval( $row->rev_len );