fix: `Player#hasHistory` have not to need a filter.

2023-10-06 17:12:14 +08:00 · 2023-10-06 17:12:14 +08:00 · a8b2128537
parent 96d7a749c1
commit a8b2128537
1 changed files with 1 additions and 0 deletions
--- a/game/game.js
+++ b/game/game.js
@ -26747,6 +26747,7 @@
 				},
 				hasHistory:function(key,filter,last){
 					const history=this.getHistory(key);
+					if(!filter||typeof filter!="function") filter=lib.filter.all;
 					if(last){
 						const lastIndex=history.indexOf(last);
 						return history.some((event,index)=>{