chore: changed destination of ai lab port settings

[gastoner]

What does this PR do?

Changes destination of ai lab port settings

Screenshot / video of UI

What issues does this PR fix or reference?

Closes #1978

How to test this PR?

Go to AI Lab, there should be a new navigation item with the settings

[gastoner]

TODO: add unit test

[benoitf]

question: it's not clear to me in the issue if it means that the configuration should be removed from the classic configuration page of any extension.
IMHO it feels an anti-pattern if it's the case

[benoitf]

side comment: also it's possible to provide a markdown description in the properties. So it looks like we're trying to reinvent the wheel of how each extension will be configured

[gastoner]

cc @slemeur

[jeffmaury]

This should not be removed

[slemeur]

@benoitf: The intent was to expose the REST Server capabilities from Podman AI Lab, by providing its own page. Right now, it would only explain what it does and provides the ability to configure the server port.

In the future the user could in the future:

• start/stop the local server
• access to end points API documentation
• access the logs

Does that make sense to you?

Considering your feedback, I agree that the "Configurable Options" is going to be confusing.

Maybe, we should call the section: "Local Server" and the subpage "Server Information", wdyt?

[benoitf]

@slemeur my point was that any configuration should stay at a minimum in the "generic configuration" settings (what is being exposed by an extension)

then the extension can still decide to expose it through a different UI, but being "on top of the configuration settings"

so, more keep it at both place (if I go to all settings and filter for AI Lab extension, I should be able to find something there)

[slemeur]

Ok that makes sense indeed.

[slemeur]

@gastoner: I've updated the initial issue.

Here are the changes for your PR:

• Section title "Local Server"
• Dedicated page "Server Information"
• We will be keeping the possibility to change the Server Port in the settings of Podman AI Lab extension as well