diff --git a/VisualEditor.php b/VisualEditor.php
index 4bc950b88a..ef256aff52 100644
--- a/VisualEditor.php
+++ b/VisualEditor.php
@@ -165,6 +165,7 @@ $wgResourceModules += array(
 			'mediawiki.Title',
 			'mediawiki.Uri',
 			'mediawiki.util',
+			'user.options',
 		),
 		'messages' => array(
 			'accesskey-ca-editsource',