wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-27 17:50:44 +00:00
Code Issues Packages Projects Releases Wiki Activity

extension.json: Remove calls to non-existent wikieditor-toolbar-help-content-heading1-*

Browse source 
No idea where these came from; they weren't present in I76e2a685 and yet
appeared in Id90e104 despite that being an apparent script-conversion of
the former.

Bug: T118541
Change-Id: Iac18c3c7ef8b1552313c2bd9f5b8fdc4cb8789b6
This commit is contained in:
James D. Forrester 2015-11-12 17:53:05 -08:00
parent ad1c8d71e6
commit 31d8192cda
1 changed files with 0 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
extension.json
View file

@ -282,9 +282,6 @@
"wikieditor-toolbar-help-content-xlink-description",
"wikieditor-toolbar-help-content-xlink-syntax",
"wikieditor-toolbar-help-content-xlink-result",
"wikieditor-toolbar-help-content-heading1-description",
"wikieditor-toolbar-help-content-heading1-syntax",
"wikieditor-toolbar-help-content-heading1-result",
"wikieditor-toolbar-help-content-heading2-description",
"wikieditor-toolbar-help-content-heading2-syntax",
"wikieditor-toolbar-help-content-heading2-result",