Board Thread:Administrative/@comment-10473115-20150703002234

I found some broken code from Special:CSS and MediaWiki:Common.css which was used to make Admin and Bot edits show in different color. Should it be fixed and turned back on or to delete the unused code? 