xwiki/xwiki-platform — pull request #237 by gdelhumeau (2013-12-04 12:32:02+00:00)
Title: XWIKI-9738: Finalize migration from workspaces to the new wiki API.

* Test if XWiki.ManagerWorkspace exists instead of Panels.WorkspaceInformationPanel (might be better, there is less probability that the user has removed that technical page than a panel).