wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-25 03:09:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/includes/iterator
History
Bryan Davis 3f7436c959 Wrap CallbackFilterIterator in a condition check 
Wrap the CallbackFilterIterator backport class in a conditional check
for PHP runtimes that include the class natively. This really should
only be needed for linting as the class is loaded via an autoloader
and thus should not be loaded if the runtime already has it
available.

Bug: T124828
Change-Id: I39d27385186d4693a8babdd2b818e6b4bc16255a
2016-01-26 14:57:18 -07:00
..
CallbackFilterIterator.php Wrap CallbackFilterIterator in a condition check 2016-01-26 14:57:18 -07:00
CallbackIterator.php Use batch queries for users-watching-title 2014-08-15 10:44:55 -07:00
FilteredSequentialIterator.php Replace EchoBatchRowUpdate with BatchRowUpdate 2015-12-16 16:36:59 +00:00
IteratorDecorator.php Use batch queries for users-watching-title 2014-08-15 10:44:55 -07:00
MultipleIterator.php Update formatting 2015-10-03 23:28:54 -04:00
NotRecursiveIterator.php Use batch queries for users-watching-title 2014-08-15 10:44:55 -07:00