is_null() throws a NOTICE for undefined things; use !isset()
authorBrion Vibber <brion@users.mediawiki.org>
Fri, 9 Mar 2007 15:19:59 +0000 (15:19 +0000)
committerBrion Vibber <brion@users.mediawiki.org>
Fri, 9 Mar 2007 15:19:59 +0000 (15:19 +0000)
commit2b9c27557a3cc1069e9722c908bd3d493f17935a
tree4a55c74bdb9757613ddca562bdbdc3365c3652a7
parent20f727c801f7ae91a0450f47be9c8789c41192ce
is_null() throws a NOTICE for undefined things; use !isset()
includes/Revision.php