diff options
| author | Amir Sarabadani <ladsgroup@gmail.com> | 2022-11-02 18:28:31 +0100 |
|---|---|---|
| committer | Amir Sarabadani <ladsgroup@gmail.com> | 2022-11-08 10:54:17 +0100 |
| commit | 719ce204a081d0989fbbb55cce1554c384dba9a2 (patch) | |
| tree | 0a68154edff332bd9e70da16270bc1a670eaebc4 /includes/shell/Result.php | |
| parent | 7690ab4e33eafdcd0aa0a3eb85f47738204d52bf (diff) | |
| download | mediawikicore-719ce204a081d0989fbbb55cce1554c384dba9a2.tar.gz mediawikicore-719ce204a081d0989fbbb55cce1554c384dba9a2.zip | |
Reorg: Move ForeignResourceManager to ResourceLoader directory
It literally has @ingroup ResourceLoader
Bug: T321882
Change-Id: Ia5c7c56c9235f98754f6d5e602da4626a76ff083
Diffstat (limited to 'includes/shell/Result.php')
0 files changed, 0 insertions, 0 deletions