diff options
| author | 2019-04-06 09:24:22 +0200 | |
|---|---|---|
| committer | 2019-04-06 09:24:22 +0200 | |
| commit | 09a5b4493d94120f836b85db5b84c0db7309a4ca (patch) | |
| tree | 349e7725cd108aa0d6efd577cf11d4c9a730638e /p/ext.php | |
| parent | 71f93e62193a32da7e2da6acfaea6d5d00192c84 (diff) | |
Better handling of bad request and fast unload (#2346)
* Better handling of bad request and fast unload
Warnings for bad requests, confirmation before leaving a page with
pending mark-as-read requests (not the others for now)
* Fix callbacks
Diffstat (limited to 'p/ext.php')
0 files changed, 0 insertions, 0 deletions
