aboutsummaryrefslogtreecommitdiff
path: root/mediawiki.lrdevplugin/description.txt
diff options
context:
space:
mode:
authorRobin Krahl <me@robin-krahl.de>2015-06-27 23:05:52 +0200
committerRobin Krahl <me@robin-krahl.de>2015-06-27 23:05:52 +0200
commit24875af9d53e3f1a90fa5e6bd4aaef36bb0c3591 (patch)
tree907a6204f1dbfd5ff4e76870bf944f6bf352031b /mediawiki.lrdevplugin/description.txt
parent717b11ecdf663dbc9e43cbdd6b5aab3a2dbcdafe (diff)
downloadLrMediaWiki-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