From 4f7c9e278f2b91ff8e019be565997e77b6595a46 Mon Sep 17 00:00:00 2001 From: CJ Cenizal Date: Thu, 6 Feb 2020 15:49:49 -0800 Subject: [PATCH] Change dev_tools to devTools to accommodate change to plugin name. --- x-pack/legacy/plugins/painless_playground/public/register.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/x-pack/legacy/plugins/painless_playground/public/register.ts b/x-pack/legacy/plugins/painless_playground/public/register.ts index a0812ae688943..74d59ab2af228 100644 --- a/x-pack/legacy/plugins/painless_playground/public/register.ts +++ b/x-pack/legacy/plugins/painless_playground/public/register.ts @@ -31,7 +31,7 @@ npSetup.core.uiSettings.get$(ADVANCED_SETTINGS_FLAG_NAME, false).subscribe(value console.log('use this to figure out whether we should register', value); }); -npSetup.plugins.dev_tools.register({ +npSetup.plugins.devTools.register({ order: 7, title: i18n.translate('xpack.painless_playground.displayName', { defaultMessage: 'Painless Playground',