Krenair 7da252eec4 Use mediawiki.api instead of $.ajax ... Change-Id: Iea98b6cb338c8b7ebbf244073bb8fe481e5e7655		2013-06-19 21:31:38 +01:00
..
alert	Echo: Better support for non-default skins, as well as no Javascript	2013-06-07 11:36:19 -07:00
badge	Never underline the badge	2013-06-07 19:44:20 -07:00
base	Use mediawiki.api instead of $.ajax	2013-06-19 21:31:38 +01:00
icons	Remove unused W icon, now configured outside extension.	2013-04-29 02:41:53 -04:00
oldicons	Redoing the notification icons and changing some formatting	2012-11-26 13:23:03 -08:00
overlay	Add overlay hook for user scripts.	2013-06-13 21:27:26 -04:00
special	Remove quote around javascript object property name	2013-06-12 10:51:55 -07:00
hooks.txt	Add overlay hook for user scripts.	2013-06-13 21:27:26 -04:00