wikimedia/mediawiki-extensions-RSS
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RSS synced 2024-11-28 01:20:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

Convert to manifest_version 2

Browse source 
Bug: T252470
Change-Id: Iae4e08dafd74130dcb27f22f92c18b1db0c32bdb
This commit is contained in:
Reedy 2020-05-12 02:04:31 +01:00
parent 7730e84f15
commit 47545e9eaa
1 changed files with 37 additions and 13 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

50
extension.json
View file

@ -42,18 +42,42 @@
"rss-tracking-category"
],
"config": {
"RSSCacheAge": 3600,
"RSSCacheCompare": false,
"RSSFetchTimeout": 15,
"RSSNamespaces": null,
"RSSUrlWhitelist": [],
"RSSUrlNumberOfAllowedRedirects": 0,
"RSSUserAgent": "MediaWikiRSS/2.25.1 (+https://www.mediawiki.org/wiki/Extension:RSS) / MediaWiki RSS extension",
"RSSProxy": false,
"RSSDateDefaultFormat": "Y-m-d H:i:s",
"RSSItemMaxLength": false,
"RSSAllowLinkTag": false,
"RSSAllowImageTag": false
"RSSCacheAge": {
"value": 3600
},
"RSSCacheCompare": {
"value": false
},
"RSSFetchTimeout": {
"value": 15
},
"RSSNamespaces": {
"value": null
},
"RSSUrlWhitelist": {
"value": []
},
"RSSUrlNumberOfAllowedRedirects": {
"value": 0
},
"RSSUserAgent": {
"value": "MediaWikiRSS/2.25.1 (+https://www.mediawiki.org/wiki/Extension:RSS) / MediaWiki RSS extension"
},
"RSSProxy": {
"value": false
},
"RSSDateDefaultFormat": {
"value": "Y-m-d H:i:s"
},
"RSSItemMaxLength": {
"value": false
},
"RSSAllowLinkTag": {
"value": false
},
"RSSAllowImageTag": {
"value": false
}
},
"manifest_version": 1
"manifest_version": 2
}