wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-28 00:00:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

Missing message from table merge

Browse source 
Change-Id: I67d42ece613358b1e48cd04d8d53df0d94a79cbc
This commit is contained in:
Ed Sanders 2014-10-30 20:11:27 +00:00
parent 9a1ed3ce3d
commit 17f3930203
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
VisualEditor.php
View file

@ -665,6 +665,7 @@ $wgResourceModules += array(
'visualeditor-specialcharacter-button-tooltip',
'visualeditor-specialcharacterinspector-title',
'visualeditor-specialcharinspector-characterlist-insert',
'visualeditor-table-caption',
'visualeditor-table-delete-col',
'visualeditor-table-delete-row',
'visualeditor-table-delete-table',