Public Git Hosting - mediawiki.git/commit

commit	a4334bbef56fe9360741fda2bee100ac1e8aebed
author	Chad Horohoe <chadh@wikimedia.org>
	Wed, 9 Jul 2014 23:46:35 +0000 (9 16:46 -0700)
committer	Chad Horohoe <chadh@wikimedia.org>
	Wed, 9 Jul 2014 23:46:35 +0000 (9 16:46 -0700)
tree	95c6ce36f6f94f3f56f73d6a09b99834380a5d93	tree \| snapshot (tar.gz zip)
parent	11c67100ba2b64f41d74acd98d1a10e1185f451d	commit \| diff

Use PHP_VERSION constant instead of phpversion() function call

Change-Id: Ifb3d1bd92d6abaa561e7337b311b4cb10c38a2b6

api.php		diff \| blob \| blame \| history
includes/PHPVersionError.php		diff \| blob \| blame \| history
includes/api/ApiQuerySiteinfo.php		diff \| blob \| blame \| history
includes/installer/Installer.php		diff \| blob \| blame \| history
index.php		diff \| blob \| blame \| history
load.php		diff \| blob \| blame \| history
maintenance/install.php		diff \| blob \| blame \| history
maintenance/update.php		diff \| blob \| blame \| history
mw-config/index.php		diff \| blob \| blame \| history
tests/testHelpers.inc		diff \| blob \| blame \| history

MediaWiki Core