Allow users to bring IDs into boards that does not have them.
这是此脚本的所有版本。 只显示代码更新过的版本
Small bug fix
Add menu with various items like highlighting, navigating between posts, hiding/unhiding IDs
Update to support server API changes, mainly pass boardId
Add an ability to opt-out from posting with ID.By default posting with ID is enabled, in quick reply window there is not [Use ID?] checkbox that you can uncheck to post without ID.