Updated mediawiki/extensions
Project: mediawiki/extensions/Diff  ec16df26e43365d801c4203ea2f560301193790a
null
Removed obsolete code

Change-Id: I035681e3c59e54c052fccaa2507481e8d2076324