Merge "Fix bad usage of empty() function"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 2 Jan 2014 19:33:43 +0000 (19:33 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 2 Jan 2014 19:33:43 +0000 (19:33 +0000)
commit88d829c4b1a1b7ba34c36f0939a0e78f18b0f0cb
tree7a4bf52291dd50a9d89f4361dba54102fab0550a
parent9ac031495981e12435e83a96243d66aa4c1e4962
parent924479c75c43141862f61f901d1f468abc0cde2f
Merge "Fix bad usage of empty() function"
includes/Title.php