diff options
author | Amir Sarabadani <ladsgroup@gmail.com> | 2022-12-05 12:29:37 +0100 |
---|---|---|
committer | Amir Sarabadani <ladsgroup@gmail.com> | 2022-12-08 06:38:17 +0100 |
commit | 2d60ba0c63b8245f968d769b06bd2ed4843b6a94 (patch) | |
tree | 30b46db9fdb4846a34872ce049e9c5f241a5d305 /includes/htmlform/OOUIHTMLForm.php | |
parent | ebfe98fd083396f1323069a2e8af711cfdeb1ce7 (diff) | |
download | mediawikicore-2d60ba0c63b8245f968d769b06bd2ed4843b6a94.tar.gz mediawikicore-2d60ba0c63b8245f968d769b06bd2ed4843b6a94.zip |
Reorg: Move DummyLinker and Linker to linker/
This feels like a no-brainer unless I'm missing something obvious
Bug: T321882
Change-Id: Id49c3d0dd6ea4593211048850856b5b8e05a8fb3
Diffstat (limited to 'includes/htmlform/OOUIHTMLForm.php')
-rw-r--r-- | includes/htmlform/OOUIHTMLForm.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/includes/htmlform/OOUIHTMLForm.php b/includes/htmlform/OOUIHTMLForm.php index 2a84a7a82ca2..08db2d11135a 100644 --- a/includes/htmlform/OOUIHTMLForm.php +++ b/includes/htmlform/OOUIHTMLForm.php @@ -21,6 +21,8 @@ * @file */ +use MediaWiki\Linker\Linker; + /** * Compact stacked vertical format for forms, implemented using OOUI widgets. * |