jQuery-Cookie-Plugin bzgl. Größe optimiert
jQuery-GetURLParam-Plugin minimiert und hinzugefügt
Menüleisten des Editors überarbeitet
Automatisches Laden und Funktionalität des Speichern-Buttons ergänzt
Header aktualisiert
Speichervorschlag beim Verlassen des Editors ergänzt
Kompilier-Funkionalität implementiert und Button belegt
Allgemeine JavaScript-Funktionen in general.js ausgelagert
jQuery-Plugins generell eingebunden (nicht Seiten-spezifisch)
Compile-Funktion überarbeitet
_wrapper.html JavaScript-Ladereihenfolge überarbeitet
Merge branch 'dev' into editor-functions

Conflicts:
	app/static/js/editor.js
Merge branch 'documents' into editor-functions
Merge branch 'documents' into editor-functions
Merge branch 'documents' into editor-functions
Merge branch 'documents' into editor-functions
Editor-Funktionalität überarbeitet
CSRF Token bei POST Redirect ergänzt
Merge remote-tracking branch 'origin/dev' into editor-functions
Kommentierung und Authentifizierung der Editorseite