Code for the PhpStorm workshop