mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-29 16:44:51 +00:00
0b97870d8c
Just say "Default" rather than "Like other pages in this namespace" (let's put that in the help string/tooltip at some point); order the "default" value between "yes" and "no" (like for TOC); make sure the panel for the advanced settings is in the same position in the page menu as the meta- data dialog. Follow-up to I30d483b5b6c3df7e Change-Id: I902eb4f8504866b2dcde32333cf365a59716c2ce |
||
---|---|---|
.. | ||
ve.init.mw.MobileViewTarget.js | ||
ve.init.mw.ViewPageTarget.init.js | ||
ve.init.mw.ViewPageTarget.js |