array_shift returns null on empty array, not false
authorMatthew Flaschen <mflaschen@wikimedia.org>
Fri, 31 Jul 2015 01:27:07 +0000 (21:27 -0400)
committerMatthew Flaschen <mflaschen@wikimedia.org>
Fri, 31 Jul 2015 01:27:07 +0000 (21:27 -0400)
commit16c81325edd2a0ed3f3c387079a12f70ab2b6619
treefea90441456d2e0557632c5709b5bf0901b99660
parent8cdbf0162b965e958985d988962cf7471cfc107b
array_shift returns null on empty array, not false

Change-Id: I690f9dd0de11ff60f9cba9f401c6e456e7ba8bd6
includes/objectcache/RedisBagOStuff.php