Updated OpenInST extension
Added PHPStorm extension