New plugin activated to fix admin bar

admin-barA new plugin has been installed and activated on this site which fixes the problems we were having with incorrect URLs in the WordPress admin bar when viewing the live site. The plugin adds a filter to the admin_url hook which alters the URL of all admin links so they work in our current setup, whether the site is domain-mapped or not.

The plugin is being maintained on GitHub: