Merge "Remove unnecessary defined( 'MEDIAWIKI' ) check"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 16 Oct 2013 16:51:12 +0000 (16:51 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 16 Oct 2013 16:51:12 +0000 (16:51 +0000)
commit7860e5cc2e82e3fa1e374d46a94e4df8d16218ee
tree8fc4cffead83aa53166c4939c596dd3556ccd277
parente77968e3b448a63286bc8e3418fbbd1efb6578de
parent11c9495b2dc2c2639580e0e8fa5b9f3bee383707
Merge "Remove unnecessary defined( 'MEDIAWIKI' ) check"