Extension:CategoryDropdown

The CategoryDropdown extension creates a dropdown within the content of a page with options that when selected navigate to those pages.

Usage
A couple of example usages, the 'all' doesn't really matter, there just has to be some value present.



Installation

 * 1) add   to LocalSettings.php
 * 2) Create a directory CategoryDropdown inside of extensions
 * 3) Create two files and copy the code from this page into them.
 * 4) * CategoryDropdown_body.php
 * 5) * extension.json

Issues
Author's talk page, possibly the stack overflow question.