Updated mediawiki/extensions
Project: mediawiki/extensions/EducationProgram  627e550df13a33d7ed6dcc31081bc51495d31184

replace menu by customizable header on course pages

Bug: 43882
Change-Id: I1efd246338490e3f19cc9ace29fd445c314af421