API: Avoid duplicate IDs in API documentation

[lhc/web/wiklou.git] / includes / Revision.php

diff --git a/includes/Revision.php b/includes/Revision.php
index 79cab79..40daf3d 100644 (file)
--- a/includes/Revision.php
+++ b/includes/Revision.php
@@ -19,6 +19,7 @@
  *
  * @file
  */
+use MediaWiki\Linker\LinkTarget;
 
 /**
  * @todo document