Last modified: 2014-09-04 11:10:24 UTC

Wikimedia Bugzilla is closed!

Wikimedia migrated from Bugzilla to Phabricator. Bug reports are handled in Wikimedia Phabricator.
This static website is read-only and for historical purposes. It is not possible to log in and except for displaying bug reports and their history, links might be broken. See T72382, the corresponding Phabricator task for complete and up-to-date bug report information.

Bug 70382 - Special:PrefixIndex should use mediawiki ui


Summary:	Special:PrefixIndex should use mediawiki ui

Attachments
Add an attachment (proposed patch, testcase, etc.)

Description Prateek Saxena 2014-09-04 05:46:27 UTC

Comment 1 Gerrit Notification Bot 2014-09-04 05:48:41 UTC

Change 158330 had a related patch set uploaded by Prtksxna:
Use mediawiki UI for Special:PrefixIndex

https://gerrit.wikimedia.org/r/158330

Comment 2 Jon 2014-09-04 10:11:03 UTC

It does when the following is applied (the aim is to make these the default)
$wgUseMediaWikiUIEverywhere = true;
$wgHTMLFormAllowTableFormat = false;

Comment 3 Gerrit Notification Bot 2014-09-04 11:10:24 UTC

Change 158330 abandoned by Prtksxna:
Use mediawiki UI for Special:PrefixIndex

https://gerrit.wikimedia.org/r/158330