dev

Configuration/ManagerInterface.php

@@ -24,6 +24,13 @@ interface ManagerInterface
      */
     public function getIndexConfiguration($index);
 
+    /**
+     * Returns an array of known index names.
+     *
+     * @return array
+     */
+    public function getIndexNames();
+
     /**
      * Returns a type configuration.
      *
@@ -32,4 +39,4 @@ interface ManagerInterface
      * @return TypeConfig
      */
     public function getTypeConfiguration($index, $type);
-}
+}