There is one problem with the moving platforms though... if you jump from beneath the platform, you snap to it rather than keep on jumping upwards and then dropping on to it. I wonder how you change the collision to only detect when the player is moving downwards.
This is a "feature" that I still have to fix. I think the fix is simple. The player type has a fall value that should be active when the player is falling down (negative gravity) The lift collision should have checked when the player is falling to jump on the lift.