Passed
Push — dev ( 9b9d73...47b4bf )
by Janko
24:50
created

PHP Classes Changes

No PHP Classes changes.

PHP Operations Changes

A UserSettingEnum::isDistinctSetting() added