Merge branch 'php-prototype' of https://gerrit.wikimedia.org/r/p/medi…

…awiki/services/parsoid into php-prototype Change-Id: I64e5e10c9763417e42409335ed52425216d756df
wikimedia · Jan 9, 2019 · 29c368f · 29c368f
2 parents bddfb06 + 46d77c1
commit 29c368f
Showing 1 changed file with 0 additions and 64 deletions.
diff --git a/php/lib/wt2html/pp/processors/cleanupFormattingTagFixup.php b/php/lib/wt2html/pp/processors/cleanupFormattingTagFixup.php