fix "Fatal error: Cannot use Piwik\Config as Config because the name is already in use" when generating documentation