Andrew Bogott has submitted this change and it was merged. Change subject: Turn project filter into a rudimentary table of contents. ......................................................................
Turn project filter into a rudimentary table of contents. Entries in the filter that are preselected (and, hence, correspond to projects that are already visible in the page) are turned into anchor links. This addresses 34196, sort of Change-Id: Ia25761c1461aa9e1ec498a2c9d665f00f7a705e0 --- M special/SpecialNova.php 1 file changed, 12 insertions(+), 3 deletions(-) Approvals: Andrew Bogott: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/36223 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ia25761c1461aa9e1ec498a2c9d665f00f7a705e0 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/OpenStackManager Gerrit-Branch: master Gerrit-Owner: Andrew Bogott <[email protected]> Gerrit-Reviewer: Andrew Bogott <[email protected]> Gerrit-Reviewer: Reedy <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
