Eclipse Oxygen не помечает события — как это исправить?

Я настроил Eclipse Oxygen.1 4.7.1 (сборка 20170914-1200) для работы над PHP-проектом на основе Symfony.

Все работает отлично, но основной момент событий (например, локальные переменные, методы и т. Д.).

public function someMethod($paramA) {
doSomething($paramA);
...
$var = $paramA;
}

Когда я помещаю курсор в $paramA в сигнатуре метода, я ожидаю, что вхождения $paramA в теле метода выделены. Это определенно имело место при использовании Ecplise Mars некоторое время назад. Есть идеи, почему это не работает?

Я уже проверил Preferences/PHP/Editor/Mark/Occurrences где все опции проверены / активированы.

Preferences/General/Editors/Text Editors/Annotations/Occurrences также кажется, что настройка настроена правильно (вертикальная линейка: нет, обзорная линейка: да, текст как выделение, цвет: серый, включено в следующую / предыдущую навигацию: нет)

Есть ли другие предпочтения, которые нужно проверить?

Это список установленного программного обеспечения:

Eclipse GitHub integration with task focused interface  4.8.0.201706111038-r    org.eclipse.mylyn.github.feature.feature.group Eclipse EGit
Eclipse IDE for PHP Developers  4.7.1.20170914-1200 epp.package.php Eclipse Packaging Project
Eclipse Platform    4.7.1.v20170906-1700    org.eclipse.platform.feature.group  Eclipse.org
Eclipse RCP 4.7.1.v20170906-1700    org.eclipse.rcp.feature.group   Eclipse.org
Eclipse XML Editors and Tools   3.9.1.v201707252002 org.eclipse.wst.xml_ui.feature.feature.group    Eclipse Web Tools Platform
Git integration for Eclipse 4.8.0.201706111038-r    org.eclipse.egit.feature.group  Eclipse EGit
Git integration for Eclipse - Gitflow support   4.8.0.201706111038-r    org.eclipse.egit.gitflow.feature.feature.group  Eclipse EGit
Git integration for Eclipse - Task focused interface    4.8.0.201706111038-r    org.eclipse.egit.mylyn.feature.group    Eclipse EGit
JavaScript Development Tools    2.1.0.v201706011953 org.eclipse.wst.jsdt.feature.feature.group  Eclipse Web Tools Platform
Mylyn Context Connector: Eclipse IDE    3.23.0.v20170411-2108   org.eclipse.mylyn.ide_feature.feature.group Eclipse Mylyn
Mylyn Task List 3.23.1.v20170623-0008   org.eclipse.mylyn_feature.feature.group Eclipse Mylyn
Mylyn Task-Focused Interface    3.23.0.v20170414-0629   org.eclipse.mylyn.context_feature.feature.group Eclipse Mylyn
Mylyn Tasks Connector: Bugzilla 3.23.1.v20170623-0008   org.eclipse.mylyn.bugzilla_feature.feature.group    Eclipse Mylyn
Mylyn WikiText  3.0.6.201703111926  org.eclipse.mylyn.wikitext_feature.feature.group    Eclipse Mylyn
Oomph Setup 1.9.0.v20170706-0615    org.eclipse.oomph.setup.feature.group   Eclipse Oomph Project
PDT Extensions  0.23.1.201707041945 org.pdtextensions.feature.feature.group http://pdt-extensions.org
PHP CodeSniffer 1.3.0.R20111119000000   org.phpsrc.eclipse.pti.tools.codesniffer.feature.group  Sven Kiera
PHP Copy/Paste Detection    0.2.2.R20100414000000   org.phpsrc.eclipse.pti.tools.phpcpd.feature.group   Sven Kiera
PHP Depend  0.3.3.R20110627000000   org.phpsrc.eclipse.pti.tools.phpdepend.feature.group    Sven Kiera
PHP Development Tools (PDT) 5.2.0.201709191002  org.eclipse.php.feature.group   Eclipse PDT
PHP Development Tools (PDT) Composer Support    5.2.0.201709191002  org.eclipse.php.composer.feature.group  Eclipse PDT
PHP Development Tools (PDT) Mylyn Integration   5.2.0.201709191002  org.eclipse.php.mylyn.feature.group Eclipse PDT
PHP Development Tools (PDT) PHPUnit Support 5.2.0.201709191002  org.eclipse.php.phpunit.feature.feature.group   Eclipse PDT
PHP Development Tools (PDT) Remote Project Synchronization Support  5.2.0.201709191002  org.eclipse.php.rdt.sync.feature.group  Eclipse PDT
PHP Development Tools (PDT) Zend Profiler Support   5.2.0.201709191002  org.eclipse.php.profiler.feature.group  Eclipse PDT
PHP Mess Detector   0.1.0.R20110628000000   org.phpsrc.eclipse.pti.tools.phpmd.feature.group    Dejan Spasic
PHP Tool Integration Core   1.6.0.R20111119000000   org.phpsrc.eclipse.pti.core.feature.group   Sven Kiera
PHPUnit 0.8.0.R20111119000000   org.phpsrc.eclipse.pti.tools.phpunit.feature.group  Sven Kiera
Remote System Explorer End-User Runtime 3.7.3.201704251225  org.eclipse.rse.feature.group   Eclipse TM Project
Smarty Feature  0.10.0.201707132003 org.eclipse.php.smarty_feature.feature.group    null
TM Terminal 4.3.0.201706140544  org.eclipse.tm.terminal.feature.feature.group   Eclipse.org - Target Management
Twig Editor Feature 2.1.1.201707041935  com.dubture.twig.feature.feature.group  https://github.com/pulse00
YEdit Feature   1.0.20.201509041456-RELEASE org.dadacoalition.yedit.feature.feature.group   YEdit Project