wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-30 19:15:43 +00:00
Code Issues Packages Projects Releases Wiki Activity

extension.json: Remove call to non-existent wikieditor-toolbar-tool-file-pre i18n

Browse source 
This was present right from the start of this repo (in WikiEditor.php back
then) and I can't quite see where it stopped being a thing, except that it
pre-dates the conversion to en.json.

Change-Id: Ifeebb7dcf511f73f74934ee88a7a007dfdbcc803
This commit is contained in:
James D. Forrester 2015-11-12 17:59:51 -08:00
parent 31d8192cda
commit d7a6475f98
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
extension.json
View file

@ -187,7 +187,6 @@
"wikieditor-toolbar-tool-link-empty",
"wikieditor-toolbar-tool-file",
"wikieditor-toolbar-tool-file-example",
"wikieditor-toolbar-tool-file-pre",
"wikieditor-toolbar-tool-reference",
"wikieditor-toolbar-tool-reference-title",
"wikieditor-toolbar-tool-reference-cancel",