Rename RequestHandler to SynchronizationManager to make sure PHP and JavaScript use the same names for similar classes