Use array_keys() rather than array_flip(), which fails for NULL values.
authorBrion Vibber <brion@users.mediawiki.org>
Tue, 7 Sep 2004 08:25:35 +0000 (08:25 +0000)
committerBrion Vibber <brion@users.mediawiki.org>
Tue, 7 Sep 2004 08:25:35 +0000 (08:25 +0000)
commitcbfdfb60dd6cee5bc37f8d6e98cf5cd8dbd20a8c
treef226d0f08d152c244a8212803274dd2bc39d115e
parentf8b32ec8db8ad88fdd764b52564f1bac2be7dd0b
Use array_keys() rather than array_flip(), which fails for NULL values.
includes/Database.php