James D. Forrester 051c3498ae Let users set __NOINDEX__ & __INDEX__ status ... Add a trinary option to the page settings pane of the meta dialog that lets users set the page to have __INDEX__, __NOINDEX__ or neither (and so have the default behaviour). Bug: 57167 Change-Id: I30d483b5b6c3df7ee56a52c744bbdc610a01873d		2014-02-19 17:48:03 -08:00
..
styles	Fix margins after they were broken in 9d988924	2014-02-11 23:08:58 +00:00
targets	Let users set __NOINDEX__ & __INDEX__ status	2014-02-19 17:48:03 -08:00
ve.init.mw.js	Bump copyright like it's 2014	2014-01-05 20:06:50 +08:00
ve.init.mw.Platform.js	Bump copyright like it's 2014	2014-01-05 20:06:50 +08:00
ve.init.mw.Target.js	Move restoreEditSection() to mw.Target	2014-02-13 00:22:33 +00:00