Updated mediawiki/extensions
Project: mediawiki/extensions/EducationProgram  08c6423f6cf3629f525e43bd06bf8a172c875dc6

Update INSTALL: this extension no longer uses SVN.

Change-Id: I8d4d82855c2d231dd5b826f7cafe1776a080d286