platform_check.php component missing

[mpbraendle]

OJS 3.3.0-8
both plagiarism 1.0.5 and 1.0.5.1

(installed from Plugin Gallery)

lead to an error

require(/var/www/virtual/ojs.chimia.ch/htdocs/ojs/plugins/generic/plagiarism/vendor/composer/platform_check.php): failed to open stream: No such file or directory in /var/www/virtual/ojs.chimia.ch/htdocs/ojs/plugins/generic/plagiarism/vendor/composer/autoload_real.php on line 25PHP message: PHP Fatal error: require(): Failed opening required '/var/www/virtual/ojs.chimia.ch/htdocs/ojs/plugins/generic/plagiarism/vendor/composer/platform_check.php' (include_path='.:/usr/share/php') in /var/www/virtual/ojs.chimia.ch/htdocs/ojs/plugins/generic/plagiarism/vendor/composer/autoload_real.php on line 25', referer: https://www.chimia.ch/chimia/submission/wizard/4?submissionId=5969

[mpbraendle]

OK. Solved. I had overlooked some files to push from my development server to the production server.