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

diff --git a/includes/Title.php b/includes/Title.php
index a949ac3..924027e 100644 (file)
--- a/includes/Title.php
+++ b/includes/Title.php
@@ -769,7 +769,12 @@ class Title {
         * @return String DB key
         */
        function getUserCaseDBKey() {
-               return $this->mUserCaseDBKey;
+               if ( !is_null( $this->mUserCaseDBKey ) ) {
+                       return $this->mUserCaseDBKey;
+               } else {
+                       // If created via makeTitle(), $this->mUserCaseDBKey is not set.
+                       return $this->mDbkeyform;
+               }
        }
 
        /**