From: jenkins-bot Date: Wed, 16 Oct 2013 16:51:12 +0000 (+0000) Subject: Merge "Remove unnecessary defined( 'MEDIAWIKI' ) check" X-Git-Tag: 1.31.0-rc.0~18502 X-Git-Url: http://git.cyclocoop.org//%27%40script%40/%27?a=commitdiff_plain;h=7860e5cc2e82e3fa1e374d46a94e4df8d16218ee;p=lhc%2Fweb%2Fwiklou.git Merge "Remove unnecessary defined( 'MEDIAWIKI' ) check" --- 7860e5cc2e82e3fa1e374d46a94e4df8d16218ee