From 1b71d5e75c12edf193ca89ba9125aff393b4822e Mon Sep 17 00:00:00 2001 From: Libor Polčák Date: Apr 26 2022 15:02:57 +0000 Subject: extract-comments: Add coop-scheduling --- diff --git a/website/extract_comments.py b/website/extract_comments.py index a1babe1..aa8979e 100644 --- a/website/extract_comments.py +++ b/website/extract_comments.py @@ -11,6 +11,7 @@ titles = { "ajax": "Ajax", "battery-cr": "Battery level", "be": "Beacon API", + "coop-scheduling": "Cooperative Scheduling", "dm": "Device memory", "dom": "DOM API", "ecma-array": "ECMAscript arrays",