Add mediawiki.interface.helpers.styles where it is needed
authorjdlrobson <jdlrobson@gmail.com>
Thu, 28 Feb 2019 21:12:26 +0000 (13:12 -0800)
committerjdlrobson <jdlrobson@gmail.com>
Fri, 1 Mar 2019 19:29:48 +0000 (11:29 -0800)
commitea7895bd0b25d4d8f574fc1042c061815f35523b
tree3283fe76259d736686ffeaf2426edb90369d4dce
parent30b05e1072b5f4571e10447419e19ee7e4db55d4
Add mediawiki.interface.helpers.styles where it is needed

Bug: T212613
Change-Id: I7d5920c3464838f68dc1169779e2f2662a3e336e
includes/specials/SpecialEditTags.php
includes/specials/SpecialLog.php
includes/specials/SpecialRevisiondelete.php