Revision d0c86c875d83bc9c5015976d79512b78d48bb188

Committed on 08/07/2016 3:42 am by Henning Kvinnesland <henning@byte.no> [GitHub Diff]

Adaptations for latest PhpStorm-version.