diff options
| author | DannyS712 <DannyS712.enwiki@gmail.com> | 2020-07-13 07:23:38 +0000 |
|---|---|---|
| committer | Jforrester <jforrester@wikimedia.org> | 2020-07-13 08:15:03 +0000 |
| commit | 631578c68595581e202e150b3a03027dbb9a8ada (patch) | |
| tree | 0c10d0c17f9a6a20ee9f3c485cfa808a96b0568d /includes/exception/FatalError.php | |
| parent | 267530619165e9d690027a012c05d98502c27afd (diff) | |
| download | mediawikicore-631578c68595581e202e150b3a03027dbb9a8ada.tar.gz mediawikicore-631578c68595581e202e150b3a03027dbb9a8ada.zip | |
Remove old references to AdminSettings, which was removed in 1.23
Change-Id: I90575b6af120bf73c3be71ca6bffafe09b9b2c83
Diffstat (limited to 'includes/exception/FatalError.php')
0 files changed, 0 insertions, 0 deletions