| Index: chrome/browser/extensions/extensions_ui.h
|
| diff --git a/chrome/browser/extensions/extensions_ui.h b/chrome/browser/extensions/extensions_ui.h
|
| index 82fcd09d5ec859b9e91ac41f0722a0c8b661ae6c..00536ce3823a7ce68901f7c437c5e52ec055a2b1 100644
|
| --- a/chrome/browser/extensions/extensions_ui.h
|
| +++ b/chrome/browser/extensions/extensions_ui.h
|
| @@ -54,7 +54,7 @@ class ExtensionsUIHTMLSource : public ChromeURLDataManager::DataSource {
|
| virtual std::string GetMimeType(const std::string&) const;
|
|
|
| private:
|
| - ~ExtensionsUIHTMLSource() {}
|
| + virtual ~ExtensionsUIHTMLSource() {}
|
|
|
| DISALLOW_COPY_AND_ASSIGN(ExtensionsUIHTMLSource);
|
| };
|
|
|