Updated mediawiki/extensions
Project: mediawiki/extensions/Echo  71c7e028584b129b865624a31cd149a379182303

Directory reshuffle, add dev tools

* Port Flow Makefile to Echo
* Move resources to Resources.php

Change-Id: I75e96cc1e51a7768600ffc083550fc94ea9d1e6c