Merge "Preferences.php: avoid "Undefined index" if key 'realname' don't exist in...
[lhc/web/wiklou.git] / resources / mediawiki.page /
drwxr-xr-x   ..
-rw-r--r-- 8534 mediawiki.page.gallery.js
-rw-r--r-- 3294 mediawiki.page.image.pagination.js
-rw-r--r-- 2077 mediawiki.page.patrol.ajax.js
-rw-r--r-- 1158 mediawiki.page.ready.js
-rw-r--r-- 1386 mediawiki.page.startup.js
-rw-r--r-- 4742 mediawiki.page.watch.ajax.js