Remove PhpTagsCodeEditor module, as the repo will be deleted

Change-Id: If1042e8eb77a4e2030d1f063989f7a76a05e7513