[Mediawiki-l] PHP5