<?php $folder = 'PhpStorm-140.940'; var_dump(preg_match('/138.940/', $folder));
You have javascript disabled. You will not be able to edit any code.