workspace: update eslint rule (#1027)

This commit is contained in:
undefined authored and GitHub committed 2025-08-06 18:51:25 +01:00
1 parent 05c3b8f2bd
commit cee3c00ddb
150 files changed
+1069 -1043

No files matched your search

@@ -456,19 +456,20 @@ const page = new NamedPage(['problem_main'], () => {
const selection = document.getElementById('problem_selection');
if (selection) {
ReactDOM.createRoot(selection)
.render(<ProblemSelectionDisplay
ReactDOM.createRoot(selection).render(
<ProblemSelectionDisplay
onChange={(pids) => { selectedPids = pids; }}
onClear={(handler) => { clearSelectionHandler = handler; }}
/>);
/>,
);
}
addSpeculationRules({
prerender: [{
'where': {
'or': [
{ 'href_matches': '/p/*' },
{ 'href_matches': '/d/*/p/*' },
where: {
or: [
{ href_matches: '/p/*' },
{ href_matches: '/d/*/p/*' },
],
},
}],