diff options
| author | Robin Krahl <me@robin-krahl.de> | 2015-06-27 23:05:52 +0200 |
|---|---|---|
| committer | Robin Krahl <me@robin-krahl.de> | 2015-06-27 23:05:52 +0200 |
| commit | 24875af9d53e3f1a90fa5e6bd4aaef36bb0c3591 (patch) | |
| tree | 907a6204f1dbfd5ff4e76870bf944f6bf352031b /mediawiki.lrdevplugin/description.txt | |
| parent | 717b11ecdf663dbc9e43cbdd6b5aab3a2dbcdafe (diff) | |
| download | LrMediaWiki-24875af9d53e3f1a90fa5e6bd4aaef36bb0c3591.tar.gz LrMediaWiki-24875af9d53e3f1a90fa5e6bd4aaef36bb0c3591.tar.bz2 | |
Check for new versions after start.
After LrMediaWiki is loaded, GitHub is checked for new versions if the
user enabled that setting. To parse the response of the GitHub API,
a third-party library is used for JSON parsing (JSON.lua). As the GitHub
API query for the latest release only returns non-pre-release versions,
all releases are queried and the first one is considered the latest.
- create MediaWikiInit that queries the new version and shows a
message (if necessary)
- add MediaWikiInit to Info so that it is run after LrMediaWiki is
loaded
- add ‘Check version’ setting to the configuration
- refactor MediaWikiApi and create performHttpRequest as a generic
HTTP request method
- add MediaWikiApi.getCurrentPluginVersion to query the GitHub API
Fix #44.
Diffstat (limited to 'mediawiki.lrdevplugin/description.txt')
0 files changed, 0 insertions, 0 deletions