Update ExtensionDistributor to 1.24wmf17 HEAD

Change-Id: Ia0ec641983ff9a802e55bdd9a36dd3d15fdbd69d