codemirror aus aktuellem Anlass entfernt
Page Specials: neue Eps: PAGE_SPECIALS_MENU, PAGE_SPECIALS_OUTPUT
Merge branch 'master' of github.com:redaxo/redaxo4

Conflicts:
	redaxo/include/addons/be_style/plugins/codemirror/config.inc.php