MediaWiki:Gadget-Extra-Editbuttons.js: Difference between revisions

no edit summary
No edit summary
No edit summary
 
Line 244: Line 244:
);
);
  */
  */
/* اصلاح نویسه\u200cها و حالت\u200cهای غیراستاندارد */
/* اصلاح نویسه\u200cها و حالت\u200cهای غیراستاندارد  
tools.applyOrthography = buttonGenerator(
tools.applyOrthography = buttonGenerator(
function () {
function () {
Line 256: Line 256:
'apply-orthography'
'apply-orthography'
);
);
 
*/
/* اصلاح ارقام */
/* اصلاح ارقام
tools.dig = buttonGenerator(
tools.dig = buttonGenerator(
function () {
function () {
Line 268: Line 268:
'ارقام',
'ارقام',
'numbers'
'numbers'
);
); */


/* اصلاح ارقام مخصوص صفحه انتقال */
/* اصلاح ارقام مخصوص صفحه انتقال */
Line 366: Line 366:
);
);


/* اصلاحات قراردادن نقطه */
/* اصلاحات قراردادن نقطه
tools.punc = buttonGenerator(
tools.punc = buttonGenerator(
function () {
function () {
Line 377: Line 377:
'نقطه\u200cگذاری',
'نقطه\u200cگذاری',
'punctuation'
'punctuation'
);
); */


// Buttons that add tags
// Buttons that add tags