Add mm_splitter_update to fix ancient splitter.js.