2012-05-11 - releng
18:21 <hashar> Replaced extensions with a fresh clone of mediawiki/extensions.git [releng]