Releases for Administration theme

#3015492: by akoepke, geek-merlin, skyredwang: Fix for PHP >=7.2 warning with count()
#1315630: by andrewmacpherson, justy: Applied Patch to fix admin_theme_uninstall failing to invoke module hook.

This is the initial port of the module created by tim.plunkett
Refer to https://www.drupal.org/project/contrib_tracker/issues/2621536

- Fixing "Disallow admin theme on these paths" bug.
- Fixing uninstall error.

#551662 : Changing package to Administration
#508536 by roger lopez - unsetting theme instead of zeroing it
#502076 Renaming admin_theme hook to admin_theme_options

Changes since version 1.0:

• Bugfix: If a custom page (allow) was defined, default options would not work correctly anymore

• Allow Drupal 6 feature "Use administration theme for content editing" in Drupal 5
• Modules add their own pages as candidates for administration theme via hook_admin_theme
• Built-in support for devel, img_assist, coder, webform, statistics, ...

Development release for Drupal 7.