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

Conversation

@tobijat
Copy link
Copy Markdown
Member

@tobijat tobijat commented Aug 14, 2014

@tobijat tobijat changed the title Rem depts Remove ResourceLoader dependencies on jquery and mediawiki Aug 14, 2014
JeroenDeDauw added a commit that referenced this pull request Aug 14, 2014
Remove ResourceLoader dependencies on jquery and mediawiki
@JeroenDeDauw JeroenDeDauw merged commit 306fd59 into master Aug 14, 2014
@JeroenDeDauw JeroenDeDauw deleted the rem_depts branch August 14, 2014 14:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants