wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-30 18:45:07 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/includes/Push
History
Fomafix 2862711ad2 Use foreach ( $array as $key => $value ) 
Use

  foreach ( $array as $key => $value ) {

instead of

  foreach ( array_keys( $array ) as $key ) {
      $value = $array[$key];

Change-Id: I3a75d3c7a2b41888998af37701ed9075380d286a
2023-04-07 11:58:33 +00:00
..
Api Move EchoPush\Api namespace to MediaWiki\Extension\Notifications\Push\Api 2022-04-25 13:56:16 +01:00
NotificationRequestJob.php Move EchoPush namespace to MediaWiki\Extension\Notifications\Push 2022-04-25 13:56:09 +01:00
NotificationServiceClient.php Use foreach ( $array as $key => $value ) 2023-04-07 11:58:33 +00:00
PushNotifier.php Namespace Model 2022-11-10 14:25:42 -07:00
Subscription.php Move EchoPush namespace to MediaWiki\Extension\Notifications\Push 2022-04-25 13:56:09 +01:00
SubscriptionManager.php Namespace Mapper 2022-11-04 18:05:34 +00:00
Utils.php Move EchoPush namespace to MediaWiki\Extension\Notifications\Push 2022-04-25 13:56:09 +01:00