- Some customizations by PhpStorm