In most of librairies included in Resources/public/, version number is used in js filename or/and directory name (ex. jquery-ui-1.9.2).
It would be interesting to remove version from filenames, because when upgrading the library with last version, we will have to update all files where library is included to update version number.
Moreover, if old version is removed after upgrade, some functionalities of plug-ins won't work.
In most of librairies included in Resources/public/, version number is used in js filename or/and directory name (ex. jquery-ui-1.9.2).
It would be interesting to remove version from filenames, because when upgrading the library with last version, we will have to update all files where library is included to update version number.
Moreover, if old version is removed after upgrade, some functionalities of plug-ins won't work.