ChatDeveloperTools

ChatDeveloperTools is a script whose role is to add a set of handy tools to the chat header. It appends a button that shows a modal window with list of links when clicked. The following links exist currently:
 * User Pages, including activity of a user and their sandbox;
 * Links to all Special Pages and some of them separately;
 * MediaWiki JS and CSS files;
 * Personal JS and CSS files, including global ones on Community Central.

Changelog

 * August 15, 2018 (v1.0.0)
 * Lady Furude: Initial version.