Элемент widget

By Андрей

From Opera 15 onward, Opera 11 & 12’s extension format is no longer supported, and instead, we’ve switched to Chromium’s extension model. Check out our new documentation for developing extensions for Opera 15 and higher and start building your own extensions.

Описание

<widget> — это элемент-контейнер, который заключает в себе все остальные элементы файла config.xml. С этим элементом связаны следующие атрибуты:

• id: URL-адрес (в спецификации IRI), индентифицирующий расширение.
  • Этот атрибут используется браузером для идентификации и автоматического обновления расширений.
  • Когда расширение загружается в хранилище расширений Opera, id устанавливается автоматически.
  • Разработчикам следует задавать атрибут id в процессе разработки, чтобы избежать создания нескольких копий расширения.
• version: Указывает версию расширения.

Пример

<?xml version="1.0" encoding="utf-8"?>
<widget xmlns="http://www.w3.org/ns/widgets" id="http://example.com/myExtension" version="1.0">
  ...
</widget>

This article is licensed under a Creative Commons Attribution 3.0 Unported license.