From dc5d742c45ac3da6385334b1bab5fca491e75eb9 Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Thu, 13 Feb 2020 17:42:53 +0100
Subject: [PATCH] get docs with wrong file type in view, update page title when
 choosing list

---
 views/bootstrap/class.ObjectCheck.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/views/bootstrap/class.ObjectCheck.php b/views/bootstrap/class.ObjectCheck.php
index 405ad6be3..ce86b23c5 100644
--- a/views/bootstrap/class.ObjectCheck.php
+++ b/views/bootstrap/class.ObjectCheck.php
@@ -505,6 +505,7 @@ $(document).ready( function() {
 		ev.preventDefault();
 		$('#kkkk.ajax').data('action', $(this).data('action'));
 		$('#kkkk.ajax').trigger('update', {orderby: $(this).data('orderby')});
+		window.history.pushState({"html":"","pageTitle":""},"", '../out/out.ObjectCheck.php?list=' + $(this).data('action'));
 	});
 	$('body').on('click', 'div.repair a', function(ev){
 		ev.preventDefault();
@@ -539,6 +540,7 @@ $(document).ready( function() {
 		$docsinrevision = $this->params['docsinrevision'];
 		$docsinreception = $this->params['docsinreception'];
 		$processwithoutusergroup = $this->params['processwithoutusergroup'];
+		$wrongfiletypeversions = $this->params['wrongfiletypeversions'];
 		$repair = $this->params['repair'];
 		$unlink = $this->params['unlink'];
 		$setfilesize = $this->params['setfilesize'];