wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 18:39:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
11604 commits 161 branches 1 tag 190 MiB
Commit graph

1 commit

Author SHA1 Message Date
James D. Forrester 65112a7e10 Show different icons for different result types 
* Disambiguation
* Redirect
* Not found
* Page exists

Bug: T93694
Change-Id: Ic4a60c95e37de372e8d0c12878dece67a2662343
 2015-04-29 17:51:34 +01:00