The 3 tools are:
- globalsearch.php - Tool for searching for a phrase on all wikimedia wikis, currently requires and uses mediawiki OAuth.
- globallinks.php - Tool for searching for a specific url linked from any wiki.
- globalpagetext.php - Tool to show the text on a specific page given across all wikis (usually used to compare the status of a mediaWiki interface page).
What this task includes:
- Splitting out the requisite code (but not doing any refactoring unless absolutely necessary, we can do that separately if needed)
- Adding some barebones bootstrap UI for them
- Deploying on tool labs (all 3 as part of the same tool)
Note: This task does not involve adding OAuth support for using the tools.