diff options
author | Umherirrender <umherirrender_de.wp@web.de> | 2024-06-16 20:18:23 +0200 |
---|---|---|
committer | Umherirrender <umherirrender_de.wp@web.de> | 2024-06-16 20:18:23 +0200 |
commit | 9879723ef3f632e9a4fc37e4c28e7020ed538a8d (patch) | |
tree | a5763523a5da09b6e9531f21003f90c5ca839e56 /includes/BootstrapHelperFunctions.php | |
parent | 765024564128e7a43aa803cf9eef445a1029d27e (diff) | |
download | mediawikicore-9879723ef3f632e9a4fc37e4c28e7020ed538a8d.tar.gz mediawikicore-9879723ef3f632e9a4fc37e4c28e7020ed538a8d.zip |
Use namespaced classes (1)
Changes to the use statements done automatically via script
Addition of missing use statement done manually
Change-Id: Ic4d4dd61de5ab896fb6173eb579c81f164a1e4a3
Diffstat (limited to 'includes/BootstrapHelperFunctions.php')
0 files changed, 0 insertions, 0 deletions