joomla/joomla-cms — pull request #762 by davidhurley (2013-03-07 05:39:11+00:00)
Title: Fixes batch option on users - see Tracker 30216

Incorporates JM's patch and fixes misplaced ending div tag