Merge "Add MediaWiki-Timestamp header to ResourceLoader requests"
[mediawiki.git] / resources / src / mediawiki.widgets / 
tree40c3a5b9b37de6090c282c7a049d9a3289fd7b46
drwxr-xr-x   ..
-rw-r--r-- 336 AUTHORS.txt
-rw-r--r-- 1335 LICENSE.txt
-rw-r--r-- 1577 mw.widgets.TitleInputWidget.css
-rw-r--r-- 9171 mw.widgets.TitleInputWidget.js
-rw-r--r-- 2187 mw.widgets.TitleOptionWidget.js
-rw-r--r-- 24 mw.widgets.js