Dmitry Brant 6c5a88107c Turn push notification token list into a circular buffer. ... At the moment we support a maximum of 10 tokens per user for subscribing to push notifications, stored as a basic list that runs out when the limit is reached. There may, however, be some edge cases where an app registers a token and then forgets to unregister it (and repeats this 10 times), after which time it will be unable to register any new token. This changes the token list to behave more like a circular buffer, by simply deleting the oldest token before inserting the new one. This way an app could register a new token even in the rare case of forgetting the previous ten. Change-Id: I387de63460882e4e56d1aa6db1f78d73a0495208		2021-07-29 17:22:57 -04:00
..
phpunit	Turn push notification token list into a circular buffer.	2021-07-29 17:22:57 -04:00
qunit	eslint: Fix warnings	2021-02-01 21:02:46 +00:00
selenium	Merge "selenium: Update wdio-mediawiki"	2021-05-26 15:07:07 +00:00
bootstrap.php	build: Updating mediawiki/mediawiki-codesniffer to 0.9.0	2017-06-22 14:13:28 +00:00
echo.suite.xml	Directory reshuffle, add dev tools	2014-08-01 22:38:41 +00:00