Merge "(bug 29472) kill $wgUseDynamicDates"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 6 Feb 2013 19:38:29 +0000 (19:38 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 6 Feb 2013 19:38:29 +0000 (19:38 +0000)
commit6e86a0bd34deb26fc6b2c7e9bc730fc9817df859
tree18f50255eff85da8197cf437ecfe0b1685a3588e
parentf8daed077a379161ac5d32c9c503f57028b4ccc7
parent1b71bc52567f630bab8623a3db2d78c16d52c89b
Merge "(bug 29472) kill $wgUseDynamicDates"
includes/DefaultSettings.php