Differences
This shows you the differences between the selected revisions of the page.
| 2016-06-22 | 2016-07-20 | ||
| 5.8.4 Run time options for extensions. (martin) | fixing anchor (martin) | ||
| Line 30: | Line 30: | ||
| | ''@homepage'' | A ''%%http://%%'' or ''%%https://%%'' URL to the web page of the extension. Not used. | | | ''@homepage'' | A ''%%http://%%'' or ''%%https://%%'' URL to the web page of the extension. Not used. | | ||
| | ''@source'' | A ''%%http://%%'' or ''%%https://%%'' URL to the extension file itself. Not used. In future versions, it can be used to check for extension updates (with use of the ''@version'' key). | | | ''@source'' | A ''%%http://%%'' or ''%%https://%%'' URL to the extension file itself. Not used. In future versions, it can be used to check for extension updates (with use of the ''@version'' key). | | ||
| - | | ''@option'' | Defines a user-configurable [[#option|option of the extension]]. \\ To define multiple options, use multiple ''@option'' entries on separate lines. | | + | | ''@option'' | Defines a user-configurable [[#options|option of the extension]]. \\ To define multiple options, use multiple ''@option'' entries on separate lines. | |
| | ''@optionspage'' | URL of a help page for the options dialog. If missing, the ''@homepage'' is used instead. | | | ''@optionspage'' | URL of a help page for the options dialog. If missing, the ''@homepage'' is used instead. | | ||