Merge "Correct case of Title::getPrefixedDBkey() calls"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 12 Mar 2013 15:13:21 +0000 (15:13 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 12 Mar 2013 15:13:21 +0000 (15:13 +0000)
commit6114f05fc1e5d196db23287e829ccef44148d60d
tree175e1ff8e07b66b1c2ba4dd569f06666aec7467b
parentbbd9c84e10add1a694f4fba3b1917c59f1310fd5
parentcd4dd7ca8518a157ade47b136d60038a4f71c4f1
Merge "Correct case of Title::getPrefixedDBkey() calls"
includes/Import.php
includes/OutputPage.php
includes/SkinTemplate.php
includes/Title.php
includes/actions/HistoryAction.php
includes/api/ApiQueryBase.php
includes/cache/LinkCache.php
includes/logging/LogFormatter.php
includes/specials/SpecialFileDuplicateSearch.php
includes/specials/SpecialUndelete.php