Completed
Pull Request — master (#717)
by no
05:53 queued 02:56
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.18
▶   ± 0
Test Coverage
91%
▶ ±0%
Head
Thiemo Mättig  
Merge a14ab17bf2beb9e14a0b7ea8caefe182959b6b4c into 05bfe15f1e12a4b9d752e36a194f7151b2baee1b
1 more commit
Base
Jeroen De Dauw  
Merge pull request #715 from wmde/fix-dont-enable-extension-if-already-enabled