Fix PHPStorm warnings in sourcegithub.js
Fix PHPStorm warnings in sourcegithub.js

make-all/source-integration,make-all/source-integration,mantisbt-plugins/source-integration,make-all/source-integration,mantisbt-plugins/source-integration,mantisbt-plugins/source-integration