Use with jsConfig (php) ...