plugin_basename() should allow to strip file extension
|Reported by:||sirzooro||Owned by:||westi|
Some WP hooks includes plugin basename as a part of their name, but there is an inconsistency - some of them uses it with extension (usually .php), some without it. Therefore it will be good to extend plugin_basename() to return name with or without extension. Attached path does this.