wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-25 19:26:46 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Export showtoc and hidetoc messages"

Browse source
This commit is contained in:
jenkins-bot 2014-04-26 00:01:49 +00:00 committed by Gerrit Code Review
parent 2b99b8a198 ac86023b6e
commit 4dc8d28ac3
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
VisualEditor.php
View file

@ -700,6 +700,8 @@ $wgResourceModules += array(
'visualeditor-wikitext-warning-title',
'visualeditor-window-title',
'toc',
'showtoc',
'hidetoc',
'captcha-edit',
// Only used if FancyCaptcha is installed and triggered on save