Enable mediawiki.checkboxtoggle on mobile
authorjdlrobson <jdlrobson@gmail.com>
Thu, 28 Mar 2019 22:07:36 +0000 (15:07 -0700)
committerjdlrobson <jdlrobson@gmail.com>
Thu, 28 Mar 2019 22:13:02 +0000 (15:13 -0700)
commit749788ff4e9aac3df5b44b63a23350a436509108
treeb48e218922aa41bd49048f42e0e3dafb489f680a
parent80829cae647324fdf6abb7c78e5b0cfd076ee294
Enable mediawiki.checkboxtoggle on mobile

There is no reason for this to be excluded by the targets
system and it is needed for the history page on mobile
Change-Id: I3edd053372c0754d684ed3091ca43d40cee26165
resources/Resources.php