Merge "Remove deprecated $wgBetterDirectionality"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 17 Jan 2014 20:47:17 +0000 (20:47 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 17 Jan 2014 20:47:17 +0000 (20:47 +0000)
commit437a7ddf85d38683f82cfd43b5c5658459032d7d
tree08613fba1d30396009d4c68788f8403abd886e0a
parent7e936b9856b8a1496e1d5decff86675e981b8c36
parent2b5a197b66f08feb368ee03adaadab62fe4b548a
Merge "Remove deprecated $wgBetterDirectionality"
RELEASE-NOTES-1.23
includes/DefaultSettings.php