Completed
Pull Request — master (#718)
by no
02:55
created

Configuration has changed

The configuration has changed since Scrutinizer has last run. This page might contain changes that are not related to code modifications.

No notable changes

There were no notable changes in the changeset which was inspected.

9.19
▶   ± 0
Test Coverage
91%
▶ ±0%
Head
Thiemo Mättig  
Merge 8a3e451d87ae29420ff85354f328f80ba1e72363 into 05bfe15f1e12a4b9d752e36a194f7151b2baee1b
1 more commit
Base
Jeroen De Dauw  
Merge pull request #715 from wmde/fix-dont-enable-extension-if-already-enabled