resources: Remove deprecated 'jquery.hidpi' module
[lhc/web/wiklou.git] / maintenance / dictionary / mediawiki.dic
index a0177b1..fc17a3d 100644 (file)
@@ -1792,7 +1792,6 @@ hidepatrolled
 hideredirects
 hiderevision
 hideuser
-hidpi
 highlimit
 highmax
 highuse
@@ -3306,7 +3305,6 @@ qvalues
 rabdiff
 radic
 radius
-raggett
 raii
 raimond
 random
@@ -3697,7 +3695,6 @@ showredirs
 showreviewed
 showsizediff
 showtoc
-showtoolbar
 showunreviewed
 shtml
 si