mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-11-15 11:46:55 +00:00
3a372ac3ab
Everyone knows what a poke is. find \ -not '( ( -name node_modules -o -name .git -o -name vendor -o -name doc -o -name dist ) -prune )' -type f| xargs -rd\\n sed -ri 's%\btri(\b|angle)%pokey%g' Change-Id: Ie159aa6947801a98cbf358da1613c87cf66d548f |
||
---|---|---|
.. | ||
dist | ||
ext.popups | ||
ext.popups.images |