Always give sane output for Title::getUserCaseDBkey()
authorBrian Wolff <bawolff+wn@gmail.com>
Wed, 11 Dec 2013 23:06:57 +0000 (16:06 -0700)
committerBrian Wolff <bawolff+wn@gmail.com>
Wed, 11 Dec 2013 23:06:57 +0000 (16:06 -0700)
commit1bddb65c2eae97988286d410bd081d8370a71f03
tree8f5736f42002c417ad24f84d7896772bd4f6dd24
parent1cd3ff7ae817f9474faf6dbb27eedf8edf3bb805
Always give sane output for Title::getUserCaseDBkey()

Sometimes (e.g. via Title::makeTitle), the usercase db key is
not set. If that happens we should fallback to the normal db key.

This fixes file redirects on repos where initialCapital is set
to false.

Change-Id: I38bc4ebeb41b06f5c718cf5f64da158e6c1a9f49
includes/Title.php