This resolves #11 while also removing refreshlogin, as that is a somewhat poor solution. No more will people forget to refreshlogin, and no more will people accidentally edit while logged out.
When necessary is just when user_bot? is false. This assumes that the person logged in is a bot. Another solution would be to include a method in MediaWiki::Butt that allows us to check if we are logged in, but until that is possible, this works perfectly fine.
This resolves #11 while also removing refreshlogin, as that is a somewhat poor solution. No more will people forget to refreshlogin, and no more will people accidentally edit while logged out.
When necessary is just when user_bot? is false. This assumes that the person logged in is a bot. Another solution would be to include a method in MediaWiki::Butt that allows us to check if we are logged in, but until that is possible, this works perfectly fine.
This is also how I do it for LittleHelper.
Close #11.