# Generated documentation docs/** # third-party libs extensions/** node_modules/** resources/lib/** resources/src/jquery.tipsy/** resources/src/jquery/jquery.farbtastic.js resources/src/mediawiki.libs/** skins/** vendor/**