mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-25 23:05:35 +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 |
||
---|---|---|
.. | ||
styles | ||
targets | ||
ve.init.mw.js | ||
ve.init.mw.Platform.js | ||
ve.init.mw.Target.js |