jenkins-bot 0de13c6125 Merge "Fix mismatching type hints in PHPDoc tags"		2020-03-26 13:35:31 +00:00
..
AtomFeed.php	Update all use of $wgVersion to MW_VERSION	2020-02-25 02:16:12 +00:00
CategoryMembershipChange.php	Remove usages and hard deprecate Revision::newFromRow	2020-03-25 11:42:36 -07:00
ChangesFeed.php	build: Upgrade phan to 0.9.0	2019-12-07 20:16:19 +00:00
ChangesList.php	Hard deprecate Revision::userCan	2020-03-11 02:10:52 +00:00
ChangesListBooleanFilter.php	Remove duplicate variable name from class property PHPDocs	2019-12-02 12:58:29 +00:00
ChangesListBooleanFilterGroup.php
ChangesListFilter.php	Remove auto-generated and empty lines in comments	2020-03-17 09:55:24 +01:00
ChangesListFilterGroup.php	Remove duplicate variable name from class property PHPDocs	2019-12-02 12:58:29 +00:00
ChangesListStringOptionsFilter.php
ChangesListStringOptionsFilterGroup.php	Remove duplicate variable name from class property PHPDocs	2019-12-02 12:58:29 +00:00
ChannelFeed.php	Set method visibility for various constructors	2019-12-03 20:17:30 +01:00
EnhancedChangesList.php	EnhancedChangesList: add screen reader support to live changes	2020-03-10 21:17:57 +00:00
FeedItem.php	Set method visibility for various constructors	2019-12-03 20:17:30 +01:00
OldChangesList.php
RCCacheEntry.php
RCCacheEntryFactory.php
RecentChange.php	Fix mismatching type hints in PHPDoc tags	2020-03-24 09:59:02 +01:00
RSSFeed.php