Directly use getSession for specialPreferencesSaveSuccess
authorFomafix <fomafix@googlemail.com>
Mon, 22 Aug 2016 04:36:09 +0000 (06:36 +0200)
committerFomafix <fomafix@googlemail.com>
Mon, 29 Aug 2016 05:52:37 +0000 (07:52 +0200)
commita4efd27998e0202eec82aea5e5fc70650fbdf514
treedda3196abc56e85d1aa3b427e6868dfe7e742a92
parentd1cb2084b71fa31012697575d8528a02e10a92bc
Directly use getSession for specialPreferencesSaveSuccess

Change-Id: If9017f6c42f4c8f697504e3b92cee8bfb907b8e7
includes/Preferences.php
includes/specials/SpecialPreferences.php