Issue #2764699 by catch, lainosantos: class "Drupal\user\UserServiceProvider" not found

core/modules/user/src/UserServiceProvider.php

 <?php
 // @codingStandardsIgnoreFile
-// This file is intentionally empty so that it overwrites when sites are
+// This class is intentionally empty so that it overwrites when sites are
 // updated from a zip/tarball without deleting the /core folder first.
 // @todo: remove in 8.3.x
+//
+namespace Drupal\user;
+class UserServiceProvider {}