diff options
| author | Umherirrender <umherirrender_de.wp@web.de> | 2019-06-18 22:26:00 +0200 |
|---|---|---|
| committer | Umherirrender <umherirrender_de.wp@web.de> | 2019-09-19 20:11:42 +0200 |
| commit | 268346e5628ff648c6764c46b534049efffe7790 (patch) | |
| tree | c1449d8964663784b8c7485aeef572daf199c428 /includes/MovePage.php | |
| parent | 67845bd38633e79d5ed273b5d3c77534e8308706 (diff) | |
| download | mediawikicore-268346e5628ff648c6764c46b534049efffe7790.tar.gz mediawikicore-268346e5628ff648c6764c46b534049efffe7790.zip | |
phan: Enable PhanTypeMismatchArgument issue
Bug: T231636
Depends-On: I5de4f8f32a47c3f41c990ffe2ebd091fc23d1a58
Change-Id: I34d65fe3ff1916f2af675f0b1f19641b0cdfadc0
Diffstat (limited to 'includes/MovePage.php')
| -rw-r--r-- | includes/MovePage.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/MovePage.php b/includes/MovePage.php index 634e7affe2e3..59baae78e284 100644 --- a/includes/MovePage.php +++ b/includes/MovePage.php @@ -83,7 +83,7 @@ class MovePage { * @param ServiceOptions|null $options * @param ILoadBalancer|null $loadBalancer * @param NamespaceInfo|null $nsInfo - * @param WatchedItemStore|null $watchedItems + * @param WatchedItemStoreInterface|null $watchedItems * @param PermissionManager|null $permMgr */ public function __construct( |