diff options
| author | 2016-07-31 18:25:02 +0200 | |
|---|---|---|
| committer | 2016-07-31 18:25:02 +0200 | |
| commit | 93f7f849874dcdf1263370ff08c72a962f8de56f (patch) | |
| tree | 50c0bc54eebd1c446e96f2d831317a2a83c48e3f /app/views/extension/index.phtml | |
| parent | df27e435f26df5e4e31dd34b334b2d1e27297158 (diff) | |
Restaure compatibility with Internet Explorer 11 / Edge
https://github.com/FreshRSS/FreshRSS/issues/772
Diffstat (limited to 'app/views/extension/index.phtml')
| -rw-r--r-- | app/views/extension/index.phtml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/app/views/extension/index.phtml b/app/views/extension/index.phtml index 4b0d5ebeb..b26334937 100644 --- a/app/views/extension/index.phtml +++ b/app/views/extension/index.phtml @@ -5,7 +5,7 @@ <h1><?php echo _t('admin.extensions.title'); ?></h1> - <form id="form-extension" method="post" aria-hidden="true"></form> + <form id="form-extension" method="post"> <?php if (!empty($this->extension_list['system'])) { ?> <h2><?php echo _t('admin.extensions.system'); ?></h2> <?php @@ -31,6 +31,7 @@ ?> <p class="alert alert-warn"><?php echo _t('admin.extensions.empty_list'); ?></p> <?php } ?> + </form> </div> <?php $class = isset($this->extension) ? ' class="active"' : ''; ?> |
