PHPCS lint fixes
authorOri Livneh <ori@wikimedia.org>
Fri, 3 Apr 2015 18:07:39 +0000 (11:07 -0700)
committerOri Livneh <ori@wikimedia.org>
Fri, 3 Apr 2015 18:08:19 +0000 (11:08 -0700)
commit97a9c65895f4cc519434b5d61c90800aa30d36e2
tree8a6676226eef30f38b557476047dd44acbcc1593
parentf9774eff90942fffa39c53f546510a81244c4b2b
PHPCS lint fixes

Change-Id: I16288db03f34439bdb16940a86720d2511f46467
includes/GlobalFunctions.php
includes/MediaWiki.php