diff options
| author | Ammar Abdulhamid <ammarpad@yahoo.com> | 2020-12-05 06:18:20 +0100 |
|---|---|---|
| committer | Ammar Abdulhamid <ammarpad@yahoo.com> | 2020-12-05 06:25:46 +0100 |
| commit | e3c542998bcb58357c2f7b8e6d8a728bc992eadb (patch) | |
| tree | 1404b318911e74950eac7d9975ea1d1288c7698a /.gitignore | |
| parent | 59122c429bdecb1fdee7e3c229709868c97a9d16 (diff) | |
| download | mediawikicore-e3c542998bcb58357c2f7b8e6d8a728bc992eadb.tar.gz mediawikicore-e3c542998bcb58357c2f7b8e6d8a728bc992eadb.zip | |
Remove reference to deleted file
There's no file 'updaters.inc' (I guess this is now 'update.php')
but probably this class has substantially changed that it no longer
makes sense to reference the now non-existing file.
Change-Id: Ie1ffbc3a824d921f93d99881cd85f40a9aba7725
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions