Thread:Project:Support desk/Does the latest MediaWiki work on PHP 5.3.13p1?