Get rid of unused file

IIRC, we quickly slapped this together back when header did not have the JS
interaction (like posts had), and we were always sent to the separate
&action=edit-header page, but still wanted to add an editor.

Now, editor & the submissions of data, handling of errors, ... is all JS-based
for header too. The only ones on &action=edit-header will be non-JS users, so it
no longer makes sense to have this file that only loads & unloads the editor on
there. Also, the file is not even in Resources.php, so was never even loaded
anymore.

Change-Id: I92a4a75093500bf7d50ddfd00e1233676ab23548
Merge "Get rid of unused file"