Merge "Fix erroneous check in refreshLinks.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 13 Jan 2013 22:01:27 +0000 (22:01 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 13 Jan 2013 22:01:27 +0000 (22:01 +0000)
commit2926574d7ff86fe03eb3e038790eb6f23d13e142
treeab4d32e65d055a03854229f23dbe0da275abcd4a
parentc61aac202105323c947184cfa6c13b370438dfb3
parent2b6b4f9a0eee506276af95f67d4815ec364e765a
Merge "Fix erroneous check in refreshLinks.php"