Remove unused 'echo-error-preference' and 'echo-error-token' messages

They stopped being used in 08fc83b6de.

Change-Id: I439d15e6c894b7358ee8add0d9c882eb791909c4
This commit is contained in:
Kunal Mehta 2015-06-24 09:41:20 -07:00
parent 57068f9a21
commit 23f877fe76
3 changed files with 0 additions and 8 deletions

View file

@ -104,10 +104,6 @@ class EchoHooks {
'scripts' => array(
'base/ext.echo.base.js',
),
'messages' => array(
'echo-error-preference',
'echo-error-token',
),
'localBasePath' => __DIR__ . '/modules',
'remoteExtPath' => 'Echo/modules',
'targets' => array( 'desktop', 'mobile' ),

View file

@ -40,8 +40,6 @@
"echo-no-agent": "[Nobody]",
"echo-no-title": "[No page]",
"echo-error-no-formatter": "No formatting defined for notification.",
"echo-error-preference": "Error: Could not set user preference.",
"echo-error-token": "Error: Could not retrieve user token.",
"notifications": "Notifications",
"tooltip-pt-notifications": "Your notifications",
"echo-specialpage": "Notifications",

View file

@ -61,8 +61,6 @@
"echo-no-agent": "Shown in place of a username in a notification\n\tif the notification has no specified user.",
"echo-no-title": "Shown in place of a page title in a notification if the notification has no specified page title.",
"echo-error-no-formatter": "Error message displayed when no formatting has been defined for a notification. In other words, the extension doesn't know how to properly display the notification.",
"echo-error-preference": "Error message displayed when request to set user preference fails",
"echo-error-token": "Error message displayed when request to get user token fails",
"notifications": "{{doc-special|Notifications}}\n{{Identical|Notification}}",
"tooltip-pt-notifications": "This is used for the title (mouseover text) of the notifications user tool.",
"echo-specialpage": "Special page title for Special:Notifications.\n{{Identical|Notification}}",