Drop "selenium" user right. As far as I can tell, this isn't actually used anywhere...
authorChad Horohoe <demon@users.mediawiki.org>
Wed, 9 Nov 2011 17:01:09 +0000 (17:01 +0000)
committerChad Horohoe <demon@users.mediawiki.org>
Wed, 9 Nov 2011 17:01:09 +0000 (17:01 +0000)
commitdb97d8d85e13790c78a08d801b12cba3ef95251e
tree38462fe19c6380546081459c574f833550ad4d8e
parent8ea7e28000418f2ab3adf0130f802da5564ba4d0
Drop "selenium" user right. As far as I can tell, this isn't actually used anywhere (core or exts) and is leftover from the special page for selenium that was removed.
includes/DefaultSettings.php
includes/User.php