to_sha_ki#+NqD6W 03/13/2017 (Mon) 12:55:25 No. 5798 del
(29.15 KB 458x197 id_with_tag.png)
https://gitgud.io/to_sha_ki/8TailedLynxJa/commit/4300f390ea6f54e7dc0ae97dc4f1dd3ba2c7fb71
I fixed that "[Hide User Post]" will not work after a post with the existing ID are added with javascript-Refresh.

userID=hasId.innerHTML
in this expression, when hasId.innerHTML is changed, userID is also changed.
labelId.innerHTML was changed by thread.js/updateIdLabels function.