wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-16 02:51:50 +00:00
Code Issues Packages Projects Releases Wiki Activity
2127 commits 161 branches 1 tag 190 MiB
Commit graph

2 commits

Author SHA1 Message Date
Gabriel Wicke e0838db315 Capturing the regexp is no longer necessary, and speeds up the grepper. Also 
tweaked the multi-line ISBN regexp slightly.
 2012-02-29 13:02:46 +00:00
Gabriel Wicke e3deb304db Add a misc regexp file for dump grepping. 2012-02-29 11:07:17 +00:00