Hotfixes for Refined GitHub fetched regularly
In order to address severe issues as quickly as possible, Refined GitHub fetches hotfixes at most every 6 hours (while being used). These are limited to:
- disabling broken features
- adding some CSS
- updating selectors and other strings (currently unused)
List of features to disable until the current version is greater than or equal to the "fix date"
Feature name, Issue, Fix date
show-whitespace, 1234, 22.3.4
Per-version CSS files containing style fixes. If an issue hasn't been fixed by the time the next release comes, the related style hotfix must be manually carried over to a new file.
Generally used to replace troublesome selectors, it can replace any string that has been marked as "dynamic", e.g.
select(_`#title span`)
Will be replaced if strings.json
contains:
{
"#title span": "#new_title a"
}
Note: This file uses JSON because character-escaping logic is widely understood and already implemented natively.