Page MenuHomePhabricator
Paste P8102

https://gerrit.wikimedia.org/r/#/c/mediawiki/services/parsoid/+/490564/
ActivePublic

Authored by tstarling on Feb 18 2019, 10:30 AM.
table_heading_tags
= "!"
(
table_heading_tag_no_nl<th>
/ (
table_heading_tag
(
("!!" / pipe_pipe)
table_heading_tag
)*
)
)
(
("!!" / pipe_pipe)
table_heading_tag_no_nl<th>
)*
(
("!!" / pipe_pipe)
table_heading_tag
)*
table_heading_tag_no_nl
= table_heading_tag
& {
return text().indexOf("\n") == -1;
}