wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-14 19:31:55 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-WikiEd.../modules/templates
History
Derk-Jan Hartman f501cdc9c6 Search: Add option to search whole words 
Bug: T24478
Change-Id: Idb47ac392b0f8b1425053c6916db8f25c11c9762
2019-05-15 22:03:54 +02:00
..
dialogInsertFile.html
dialogInsertLink.html
dialogInsertReference.html
dialogInsertTable.html
dialogReplace.html Search: Add option to search whole words 2019-05-15 22:03:54 +02:00