https://bugzilla.wikimedia.org/show_bug.cgi?id=39616
Jack Phoenix <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected] --- Comment #4 from Jack Phoenix <[email protected]> --- (In reply to comment #3) > I strongly oppose this request! Code editor sholdn't use tabs by default. Well allow me to strongly oppose your opposition, then! Everything and anything meant for generating or editing code -- be it PHP, JS or CSS -- most definitely should use tabs. Tabs are the official MediaWiki way of doing indentation (see the coding conventions manual on MediaWiki.org: https://www.mediawiki.org/wiki/Manual:Coding_conventions) and it definitely makes sense; tabs, from my perspective as a developer, make my life a lot easier as I have to hit an arrow key (for example) only once whereas with space-indented code, I'd have to hit the same key four times. Bleh! > Tabs > in source code are always a bad idea since their width isn't uniform across > platforms or even different applications. It's unfortunate that some platforms have bad defaults, but I think we all can live with that. We most certainly have been able to live with it until now, and as far as I'm aware, nothing has essentially changed. -- You are receiving this mail because: You are the assignee for the bug. You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
