updates Maps to 7.13.0

1 files changed, 5 insertions, 1 deletions

diff --git a/www/wiki/extensions/Maps/src/MappingService.php b/www/wiki/extensions/Maps/src/MappingService.php
index 184ef712..960315d1 100644
--- a/www/wiki/extensions/Maps/src/MappingService.php
+++ b/www/wiki/extensions/Maps/src/MappingService.php
@@ -3,6 +3,8 @@
 namespace Maps;
 
 use ParamProcessor\ParamDefinition;
+use ParamProcessor\ProcessedParam;
+use ParamProcessor\ProcessingResult;
 
 /**
  * @licence GNU GPL v2+
@@ -28,6 +30,8 @@ interface MappingService {
 	 */
 	public function getResourceModules(): array;
 
-	public function newMapId();
+	public function newMapId(): string;
+
+	public function processingResultToMapParams( ProcessingResult $processingResult ): array;
 
 }