Merge branch 'feature-3334/FilterWidget_remove_old_filters_session_cached'

2026-07-20 00:12:15 +00:00 · 2020-01-08 15:53:29 +01:00
parent 8e78382230 bf9cc35dd5
commit 3adba32420
2 changed files with 2 additions and 1 deletions
@@ -19,6 +19,7 @@ class TableWidgetLib
 	const SESSION_CHECKBOXES = 'checkboxes';
 	const SESSION_METADATA = 'datasetMetadata';
 	const SESSION_ROW_NUMBER = 'rowNumber';
+	const SESSION_TIMEOUT = 'sessionTimeout';

 	// Session dataset elements
 	const SESSION_DATASET = 'dataset';