# dialogs
'js/wiki/dialog_save.js',
+ 'js/wiki/dialog_revert.js',
'js/wiki/dialog_addtag.js',
+ 'js/wiki/dialog_pubmark.js',
# views
'js/wiki/view_history.js',
'js/wiki/view_editor_source.js',
'js/wiki/view_editor_wysiwyg.js',
'js/wiki/view_gallery.js',
+ 'js/wiki/view_annotations.js',
'js/wiki/view_search.js',
'js/wiki/view_column_diff.js',
),