Live Preview: Cope with the edit summary being an OOjs UI widget

[lhc/web/wiklou.git] / resources / Resources.php

diff --git a/resources/Resources.php b/resources/Resources.php
index 45a90d1..a89fb42 100644 (file)
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -1452,6 +1452,7 @@ return [
                        'mediawiki.diff.styles',
                        'mediawiki.util',
                        'mediawiki.jqueryMsg',
                        'mediawiki.diff.styles',
                        'mediawiki.util',
                        'mediawiki.jqueryMsg',

+                       'oojs-ui-core',

                ],
                'messages' => [
                        // Keep the uses message keys in sync with EditPage#setHeaders
                ],
                'messages' => [
                        // Keep the uses message keys in sync with EditPage#setHeaders