Package: mediawiki-extensions-base

"mediawiki-extensions-base" package binaries on Debian:

/usr/sbin/mwdisext /usr/sbin/mwenext

You may install this package on Debian with apt-get install mediawiki-extensions-base