Skip to content

Remove ResourceLoader dependencies on jquery and mediawiki#13

Merged
JeroenDeDauw merged 2 commits into
masterfrom
rem_depts
Aug 14, 2014
Merged

Remove ResourceLoader dependencies on jquery and mediawiki#13
JeroenDeDauw merged 2 commits into
masterfrom
rem_depts

Commits

Commits on Aug 14, 2014