Updated mediawiki/extensions
Project: mediawiki/extensions/WikimediaMaintenance  edb9889b2175a41cb4dc8d312bb83c3dbf96189b

Fixed wrong include path

Change-Id: I0aad19ad376c21f6c293b43bb6f341c6cd1fcbb2