Public Git Hosting - mediawiki.git/commit

commit	891b51b258db91626e4f21b3790ec011bf8f56f9
author	Kosta Harlan <kharlan@wikimedia.org>
	Tue, 4 Jan 2022 10:03:09 +0000 (4 11:03 +0100)
committer	Kosta Harlan <kharlan@wikimedia.org>
	Tue, 4 Jan 2022 10:03:09 +0000 (4 11:03 +0100)
tree	d28d5dfb1b98c6741a702096d46185016cf9529e	tree \| snapshot (tar.gz zip)
parent	0c2cc804e1ebcb4d3f531a09fb549beb37634989	commit \| diff

Prefer is_dir/is_file to file_exists

Mirco-optimisation for performance, part II.

Change-Id: Ie8d5332a510bd18456ebc4a851f4d47f6a010dcb

MediaWiki Core

includes/AutoLoader.php		diff \| blob \| blame \| history
includes/OutputPage.php		diff \| blob \| blame \| history
includes/cache/FileCacheBase.php		diff \| blob \| blame \| history
includes/cache/localisation/LCStoreCDB.php		diff \| blob \| blame \| history
includes/cache/localisation/LCStoreStaticArray.php		diff \| blob \| blame \| history
includes/cache/localisation/LocalisationCache.php		diff \| blob \| blame \| history
includes/resourceloader/ResourceLoaderFileModule.php		diff \| blob \| blame \| history