Remove duplicate code from Setup.php
authorumherirrender <umherirrender_de.wp@web.de>
Sat, 20 Apr 2013 14:57:56 +0000 (16:57 +0200)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 20 Apr 2013 16:25:15 +0000 (16:25 +0000)
commit35572ce19e2b68887b95c481f01c9db64c0dfb59
tree2b4610776a809e71c1792a49adb4167350f4f537
parent6c38a5eb723fedbc38d6fba7ea650885375fb4dd
Remove duplicate code from Setup.php

Change-Id: I6dadb12ec8410258d7c9c24e1d12badf6c1c2dea
includes/Setup.php