Как включить автодополнение библиотеки JS в PhpStorm?

В файле HTML я включил jQuery через

<script src="http://ajax.googleapis.com/ajax/libs/jquery/1.7.2/jquery.min.js" ></script>

Я скачал библиотеку через контекстное меню и теперь вижу ее в папке проекта в разделе Внешние библиотеки. Тем не менее, кажется, что jQuery не распознается.

<script type="text/javascript">
    $(document).ready(function() {
    ..
    });
</script>

$подчеркнуты, и подсказка кода просит меня создать функцию или метод с именем $. Хотя сам код работает.

Что я должен сделать, чтобы PhpStorm распознал внешнюю библиотеку JavaScript?