Wikimedia Bugzilla is closed!

From <https://noc.wikimedia.org/conf/InitialiseSettings.php.txt>:

---
# wgFavicon @{
'wgFavicon' => array(
	# Sites
	'default'			=> '//bits.wikimedia.org/favicon/wikipedia.ico',
	'wikibooks'			=> '//bits.wikimedia.org/favicon/wikibooks.ico',
	'wikimedia'			=> '//bits.wikimedia.org/favicon/wmf.ico',
	'wikinews'			=> '//bits.wikimedia.org/favicon/wikinews.ico',
	'wikiquote'			=> '//bits.wikimedia.org/favicon/wikiquote.ico',
	'wikisource'			=> '//bits.wikimedia.org/favicon/wikisource.ico',
	'wikiversity'			=> '//bits.wikimedia.org/favicon/wikiversity.ico',
	'wikivoyage'			=> '//bits.wikimedia.org/favicon/wikivoyage.ico',
	'wiktionary'			=> '//bits.wikimedia.org/favicon/piece.ico',
[...]
---

I think the default favicon should be wmf.ico (or wikimedia.ico, even more precisely), not wikipedia.ico.