Fix for wrong prefixing of multi checkbox
authorErik Bernhardson <ebernhardson@wikimedia.org>
Wed, 22 May 2013 16:58:53 +0000 (09:58 -0700)
committerErik Bernhardson <ebernhardson@wikimedia.org>
Wed, 22 May 2013 17:43:40 +0000 (10:43 -0700)
commit47c27494892d78443072b188ca6e8150e39988bf
tree96d0a4e709e3bf1ad049931b9f1cd58bf6d6c837
parentb7c9abbceb46faeac2518fe546e893a652c22eab
Fix for wrong prefixing of multi checkbox

Bug: 48693
Change-Id: Ifd8d1d54d5252da958c30cdc0ffa1155ba4cf924
includes/Preferences.php