In extensions that need to build links to special pages, page actions, etc with the Title class, is it recommended to use
Looking at the code,
getLocalUrl(), and the only difference seems to be the absence of the server part in the generated URL for
getLocalUrl(), so for me it makes sense to use
getLocalUrl() whenever possible, as it will be a small performance improvement.
Are my thoughts correct?