wikimedia/mediawiki-extensions-RSS
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RSS synced 2024-11-27 09:00:07 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/RSS
590 commits 11 branches 20 tags 5.2 MiB
PHP 98.2%
JavaScript 1.8%
Go to file
Umherirrender 3f09c46cee Replace isset() with null check 
isset() should only be used to suppress errors, not for null check.
When the variable is always defined, there is no need to use isset.
Found by a new phan plugin (2efea9f989)
https://www.mediawiki.org/wiki/Manual:Coding_conventions/PHP#isset

Change-Id: I4d3ebaf7fd3fc9613decd74fd36cc98582519a7c
2024-10-27 13:17:13 +01:00
.phan Add phan 2019-04-25 20:36:55 +02:00
i18n Localisation updates from https://translatewiki.net. 2024-09-09 09:23:00 +02:00
includes Replace isset() with null check 2024-10-27 13:17:13 +01:00
.eslintrc.json build: Updating eslint-config-wikimedia to 0.19.0 2021-03-14 10:21:54 +00:00
.gitignore build: Updating mkdirp to 0.5.3 2020-03-21 05:53:53 +00:00
.gitreview Whoops, track not trace 2016-10-24 17:03:24 -07:00
.phpcs.xml Add missing documentation to class properties 2024-09-14 07:41:14 +00:00
CODE_OF_CONDUCT.md build: Updating mediawiki/phan-taint-check-plugin to 1.4.0 2018-09-01 13:39:34 +00:00
composer.json build: Updating mediawiki/mediawiki-codesniffer to 44.0.0 2024-08-12 03:35:27 +00:00
COPYING svn:eol-style native 2010-07-24 16:00:42 +00:00
extension.json build: Update MediaWiki requirement to 1.43 2024-08-22 18:07:22 -04:00
Gruntfile.js build: Updating dependencies 2021-01-30 08:56:28 +00:00
package-lock.json build: Updating micromatch to 4.0.8 2024-08-30 03:36:49 +00:00
package.json build: Updating eslint-config-wikimedia to 0.28.2 2024-06-21 16:49:56 +00:00
README Change http://www.mediawiki.org to https://www.mediawiki.org 2018-03-14 14:50:48 +00:00
RELEASE-NOTES Change http://www.mediawiki.org to https://www.mediawiki.org 2018-03-14 14:50:48 +00:00

README 

== About ==

Displays an RSS feed on a wiki page.
See https://www.mediawiki.org/wiki/Extension:RSS

== Credits to other projects ==

* MagpieRSS
This extension includes code from the MagpieRSS library.
MagpieRSS provides an XML-based (expat) RSS parser in PHP,
and is released under the GPL.