gatein/gatein-portal — pull request #550 by mwringe (2013-07-02 16:00:41+00:00)
Title: GTNPORTAL-3150

move mobile portal specific javascript to the core javascript. Fixes issues where sites with the mobile skin would not function properly without also adding portal specific javascript.