Remove theme_exposed_filters()

Conflict with #2009674: Replace theme() with drupal_render() in system module, needs reroll.

Moments ago I did a fresh git pull from drupal 8.x.
It seems the changes made in the patch mentioned in [#1] are no longer needed because the entries mentioned:
- theme_exposed_filters() in core/modules/system/system.module
- drupal_common_theme() in core/includes/include/theme.inc
no longer exist in 8.x core today.
I searched for the terms 'theme_exposed_filters' and 'drupal_common_theme' in core without results.

They were probably deleted in another issue.

I'm definitely still seeing theme_exposed_filters() in system.module… and drupal_common_theme() is for sure still there :)

Please check again, @ellishettinga. Thanks for looking at this!

Mmmm...must have done something wrong...
I will check it again !

Git sometimes makes me angry inside (;

Patch 2 removes
- function theme_exposed_filters() from core/modules/system/system.module
- the 'exposed_filters' entry from function drupal_common_theme()

//edit: Before creating this patch it I rerolled patch #1

I rerolled the patch #1

#8: drupal-2087239-2.patch queued for re-testing.

Both patches are identical.

@lauriii, the issue was (and still is) assigned to @ellishettinga. In the future, pease take a moment to check if someone else is not already working on an issue before jumping in. This way, duplicate efforts can be prevented.

Updated issue summary.

Applied patch without any issues.

+1, looks good.

Committed/pushed to 8.x, needs a short change notice. Thanks!

I'm not sure:
Does this mean we have to add an item here manually : https://drupal.org/list-changes
Or somewhere else?

I suggest this notification:
Change notice: theme_exposed_filters() removed from system.module and drupal_common_theme() removed from theme.inc

Hi @ellishettinga! Yes, change records/notices can be found there and are made manually, as not every issue needs one, or some records are for multiple issues at the same time.
Go ahead and make one for this issue, if you want to, and add a link to the record in a comment here. Good luck!

Thanks @Xano!

I created a change record for https://drupal.org/list-changes here
https://drupal.org/node/2149853

Looks good. Thanks!

Edited to note that drupal_common_theme() did not get removed, thanks for creating the change notice @ellishettinga.

Well seen @Cottser, thanks for checking!