Merge "Remove unreachable block"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 20 Aug 2015 19:15:19 +0000 (19:15 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 20 Aug 2015 19:15:19 +0000 (19:15 +0000)
commit1e5391c1c957bb2383a7e98d79e0138239cfb616
tree952aeebfd0638b56b5c5a292e5b2a307638ffe1d
parentcb08e352eee1000afabc8cd0365cf62475d742a2
parente69c4c495efca54aa70e2d2368bd9fbcb38ab81e
Merge "Remove unreachable block"
includes/Sanitizer.php