| Index: chrome/browser/resources/md_extensions/manager.html
|
| diff --git a/chrome/browser/resources/md_extensions/manager.html b/chrome/browser/resources/md_extensions/manager.html
|
| index 54552e135eb3190065220654e2a57d4a9a7d2be6..37dc80beac8975f52fbc0d91ab3a90a0888929fb 100644
|
| --- a/chrome/browser/resources/md_extensions/manager.html
|
| +++ b/chrome/browser/resources/md_extensions/manager.html
|
| @@ -15,7 +15,8 @@
|
| <dom-module id="extensions-manager">
|
| <template>
|
| <paper-header-panel id="panel">
|
| - <extensions-toolbar class="paper-header" id="toolbar">
|
| + <extensions-toolbar class="paper-header" id="toolbar"
|
| + on-search-changed="onFilterChanged_">
|
| </extensions-toolbar>
|
| <extensions-sidebar in-dev-mode="[[inDevMode]]">
|
| </extensions-sidebar>
|
|
|