Enqueue WordPress jQuery after it’s been deregistered by a plugin

I think you can just use:

wp_enqueue_script( 'jquery' );

And WordPress will know to use the included one.

Edit:

You can use:

wp_enqueue_script( 'jquery-core' );

Assuming that hasn’t also been deregistered by another script. I guess this could run the risk of allowing a plugin to register ‘jquery’ and for 2 versions of jquery to be loaded, though. Keep an eye out!