Definition isolation of extensions
An extension is 100% isolation with MediaWiki if there is no conflict with any other extension which is also 100% isolation with MediaWiki.
Contents |
Positive proof
To prove positively that an extension is 100% MediaWiki compatible, it has to be combined with each other existing extension, and extensions that are to be built in the future, with all kinds of possible data. This volume is so high that this is practically impossible to do.
Negative proof or falsification
So there cannot be a proof that an extension is 100% compatible with MediaWiki. But there can be proof that extensions are not 100% isolated with MW.
Statement
IF in a single situation with one specific testcase can be proven that extension "A" does conflict with extension "B" THEN
- extension "A" is not 100% isolated with MW OR
- extension "B" is not 100% isolated with MW OR
- extension "A" AND extension "B" are not 100 % isolated with MW
Need of 100% isolation
For example, sometimes an extension needs to store additional data, and cannot work without that. So the MW database structure has to be changed. The extension might be so valueble to you, that you still want to use it. That's perfect. But it is good to know in advance that there might be conflict in the future. So you are prepared for that and may not combine some extensions.
Assumption
Although a positive proof can not be done, a check can be done to give a close assumption, with the current knowledge, if an extension is 100% isolated with MediaWiki.
