Thread:Project:Support desk/Set version compatibility for extension/reply (5)

Maybe you should use  instead, which does exactly what you want (it throws a fatal error, if the mediawiki version doesn't match). To deactivate the extension, a  instead of the echo and exit should work.