Merge "Removed deprecated functions and merged ProxyTools into GlobalFunctions"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 20 Dec 2013 19:29:42 +0000 (19:29 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 20 Dec 2013 19:29:42 +0000 (19:29 +0000)
commit3bb1d6257eba4e687ffb112884125d9e438d031d
tree46662856fd0ecb8559f7c0e1de2ef18fc742715a
parent2f7b68ffde472d1faf95f7402056ad0a0feab1fb
parent6640bdf0d8be3d7b9a9be473f855c9c99ff061aa
Merge "Removed deprecated functions and merged ProxyTools into GlobalFunctions"
includes/Setup.php