Show page Old revisions Backlinks Rename Page Media Manager Namespaces Choose namespace [root] applications desktop devtools disk-utilities office upgrades clipart install packages tricks wiki Media Files Media Files Upload Search Search in [root] Thumbnails Rows Name Date Apply Search file name: Search File View History History of applications:devtools:launcher_properties-phpstorm.png 2013/12/16 13:32 applications:devtools:launcher_properties-phpstorm.png created admin (current) Show differences between selected revisions