Fix bad usage of empty() function
authorAlexandre Emsenhuber <ialex.wiki@gmail.com>
Wed, 1 Jan 2014 16:17:50 +0000 (17:17 +0100)
committerAlexandre Emsenhuber <ialex.wiki@gmail.com>
Thu, 2 Jan 2014 12:05:33 +0000 (13:05 +0100)
commit924479c75c43141862f61f901d1f468abc0cde2f
tree8ff46d4e6e7b281f916583743e3680eecec0fc4d
parent2325216443b9a9e4f3fd7d4e025b92d69bcc8f31
Fix bad usage of empty() function

Use a strict comparison to null since this member variable is always defined.

Change-Id: Ida7d7ecb2d65458b7f93daa886b3c2b319ffc07e
includes/Title.php