is_null() throws a NOTICE for undefined things; use !isset()

diff --git a/includes/Revision.php b/includes/Revision.php
index 9432f0c..93b92a9 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 (is_null($row->rev_len))
+                       if( !isset( $row->rev_len ) )
                                $this->mSize = null;
                        else
                                $this->mSize = intval( $row->rev_len );