Extension:Push/manual/The tab interface

This is the part of the user manual for the Push extension.

...

The primary interface to push pages from one wiki (which we'll call the source wiki) to another wiki (the target wiki) can be accessed as a tab, in much the same way as the editing and page history interfaces.