From d7a6475f9869d5c699b542dd8d8e2da54815be13 Mon Sep 17 00:00:00 2001 From: "James D. Forrester" Date: Thu, 12 Nov 2015 17:59:51 -0800 Subject: [PATCH] extension.json: Remove call to non-existent wikieditor-toolbar-tool-file-pre i18n 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 --- extension.json | 1 - 1 file changed, 1 deletion(-) diff --git a/extension.json b/extension.json index 1a083933..dbd05d66 100644 --- a/extension.json +++ b/extension.json @@ -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",