diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2013-05-01 08:56:50 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2013-05-01 08:56:50 +0200 |
| commit | cdafed9759bbff5952f09e5a3d866f24fba57104 (patch) | |
| tree | 009e2e480b45e5cfd52051b964a60d52a2a7c6df /extensions/WikiEditor/WikiEditor.php | |
| parent | f7253921201bcf43d385440317ab279fb83a4658 (diff) | |
Update to MediaWiki 1.20.5
Diffstat (limited to 'extensions/WikiEditor/WikiEditor.php')
| -rw-r--r-- | extensions/WikiEditor/WikiEditor.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/extensions/WikiEditor/WikiEditor.php b/extensions/WikiEditor/WikiEditor.php index de1d1695..0e54a1b5 100644 --- a/extensions/WikiEditor/WikiEditor.php +++ b/extensions/WikiEditor/WikiEditor.php @@ -341,6 +341,9 @@ $wgResourceModules += array( 'wikieditor-toolbar-characters-page-thai', 'wikieditor-toolbar-characters-page-lao', 'wikieditor-toolbar-characters-page-khmer', + 'wikieditor-toolbar-characters-endash', + 'wikieditor-toolbar-characters-emdash', + 'wikieditor-toolbar-characters-minus', /* Help Section */ 'wikieditor-toolbar-section-help', 'wikieditor-toolbar-help-heading-description', |