False positive about multiple classes declared in the same file with phpstorm & extension_hint.php

The generated extension_hint.php file is used to create developer aliases for IDE autocompletion. However if phpstorm analyzes this file it generates warnings/errors for multiple classes being defined in the same file.

This can be supressed by emitting the following at the top of the file:
Code: