Index: release/scripts/ui/space_userpref.py
===================================================================
--- release/scripts/ui/space_userpref.py	(Revision 27573)
+++ release/scripts/ui/space_userpref.py	(Arbeitskopie)
@@ -1412,6 +1412,13 @@
         # collect the categories that can be filtered on
         addons = [(mod, addon_info_get(mod)) for mod in self._addon_list()]
 
+        # Collect scripts that are used but have no script file.
+        missing_exts = []
+        module_names = {mod.__name__ for mod, info in addons}
+        for ext in used_ext:
+            if not ext in module_names:
+                missing_exts.append(ext)
+
         cats = {info["category"] for mod, info in addons}
         cats.add("")
         cats.remove("")
@@ -1489,7 +1496,22 @@
                     split.separator()
                     split.separator()
 
+        # Append missing scripts
+        if len(missing_exts) > 0:
+            layout.column().separator()
+            layout.column().label(text="Missing script files")
 
+            module_names = {mod.__name__ for mod, info in addons}
+            for ext in missing_exts:
+                if filter == "All" or filter == "Enabled":
+                    # Addon UI Code
+                    box = layout.column().box()
+                    column = box.column()
+                    row = column.row()
+
+                    row.label(text=ext, icon="ERROR")
+                    row.operator("wm.addon_disable").module = ext
+
 from bpy.props import *