r106467 MediaWiki - Code Review archive

Repository:MediaWiki
Revision:r106466‎ | r106467 | r106468 >
Date:19:24, 16 December 2011
Author:gwicke
Status:deferred
Tags:
Comment:
Rename table_header production to table_heading. Those non-natives strike again.
Modified paths:
  • /trunk/extensions/VisualEditor/modules/parser/pegTokenizer.pegjs.txt (modified) (history)

Diff [purge]

Index: trunk/extensions/VisualEditor/modules/parser/pegTokenizer.pegjs.txt
@@ -1019,7 +1019,7 @@
10201020 }
10211021
10221022 table_firstrow
1023 - = td:(table_data / table_header)+ {
 1023+ = td:(table_data / table_heading)+ {
10241024 //dp('firstrow: ' + pp(td));
10251025 return [{ type: 'TAG', name: 'tr' }]
10261026 .concat(td, [{type: 'ENDTAG', name: 'tr'}]);
@@ -1028,7 +1028,7 @@
10291029 table_row
10301030 = //& { dp("table row enter"); return true; }
10311031 n:newlineToken
1032 - "|-" thtd_attribs? space* td:(table_data / table_header)* {
 1032+ "|-" thtd_attribs? space* td:(table_data / table_heading)* {
10331033 return n.concat([{type: 'TAG', name: 'tr'}]
10341034 , td, [{type: 'ENDTAG', name: 'tr'}]);
10351035 }
@@ -1052,7 +1052,7 @@
10531053 , td, [{type: 'ENDTAG', name: 'td'}] );
10541054 }
10551055
1056 -table_header
 1056+table_heading
10571057 = n:("!!" { return [] } / nl:newlineToken "!" { return nl })
10581058 a:(as:generic_attribute+ "|" !"|" { return as } )?
10591059 c:inline {

Status & tagging log