I’ve recently seen that merging pages does not require the usual
	(delete, move, undelete, move) sequence anymore, as evidenced by
	new Special:Log/merge log entries.  What is the API request I
	use to perform such merges?

	Somehow, neither https://mediawiki.org/w/api.php, nor the API
	documentation seem to mention anything like that.

	TIA.