Re-adding a <div> element for the rc options.
authorRotem Liss <rotem@users.mediawiki.org>
Sat, 21 Jun 2008 11:34:47 +0000 (11:34 +0000)
committerRotem Liss <rotem@users.mediawiki.org>
Sat, 21 Jun 2008 11:34:47 +0000 (11:34 +0000)
commite9b184f96a6e3be5cfb4cd5cee53ea41f8a093a1
tree3671e8784d0fa0926996434c063b8328f1e056e6
parentf7b468f28543fe1899e4de253ab7b2902aafb5c2
Re-adding a <div> element for the rc options.
includes/specials/SpecialRecentchanges.php