Public Git Hosting - mediawiki.git/commit

commit	58ecdd060cc7208b42310d29bc05195ee3851c23
author	Aaron Schulz <aschulz@wikimedia.org>
	Sun, 12 Feb 2017 02:12:42 +0000 (11 18:12 -0800)
committer	Aaron Schulz <aschulz@wikimedia.org>
	Sun, 12 Feb 2017 02:12:42 +0000 (11 18:12 -0800)
tree	6248e896a4d1e59a99a02b98f308d31f8d53910c	tree \| snapshot (tar.gz zip)
parent	fd5747ea16fe50feefad3973bf3a78b9bfe749cc	commit \| diff

Fix assortment of IDEA warnings

Change-Id: I3fb482232483f37bf73ebbeb405056794109e618

MediaWiki Core

includes/actions/InfoAction.php		diff \| blob \| blame \| history
includes/db/DatabaseOracle.php		diff \| blob \| blame \| history
includes/filerepo/file/ForeignDBFile.php		diff \| blob \| blame \| history
includes/widget/search/InterwikiSearchResultWidget.php		diff \| blob \| blame \| history