gnome-shell/js/misc
..
config.js.in
docInfo.js
fileUtils.js
format.js
gnomeSession.js
history.js
jsParse.js
modemManager.js
params.js
screenSaver.js
util.js