[CORE] Plugin API now extends a new Module API

2019-08-12 15:03:30 +01:00
parent b6e7b18c7b
commit 0c2c3ec862
397 changed files with 3093 additions and 1450 deletions
--- a/plugins/Mapstraction/MapstractionPlugin.php
+++ b/plugins/Mapstraction/MapstractionPlugin.php
@@ -165,7 +165,7 @@ class MapstractionPlugin extends Plugin
        $action->elementEnd('div');
    }

-    function onPluginVersion(array &$versions)
+    public function onPluginVersion(array &$versions): bool
    {
        $versions[] = array('name' => 'Mapstraction',
                            'version' => self::PLUGIN_VERSION,