Show page Old revisions Backlinks Rename Page Media Manager Namespaces Choose namespace [root] applications clipart hidden 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:launcherproperties-phpstorm.png 2013/12/16 13:16 applications:devtools:launcherproperties-phpstorm.png created admin (current) Show differences between selected revisions