marijnh/CodeMirror2 — pull request #321 by MariusKarthaus (2012-01-10 12:00:06+00:00)
Title: Copy state not copying state in PHP mode

The PHP mode has a custom copyState that did not actually carry state and lost information like state.mode. State is now carried properly and across different modes.