Prevent "Notice: Undefined index" in wfDiff
authorMarius Hoch <hoo@online.de>
Mon, 15 Sep 2014 01:52:31 +0000 (03:52 +0200)
committerMarius Hoch <hoo@online.de>
Mon, 15 Sep 2014 01:52:31 +0000 (03:52 +0200)
commitfbc7206444f463a238a43daf6ea679ed6c4d860b
tree6cd4f68c153cb5dc2a231d68f20fb8bba3368889
parent222e5b23561dcb1bbdc78a1b7cf6eea8433fff93
Prevent "Notice: Undefined index" in wfDiff

Change-Id: I4cc7d10021a114a2035dd2d9274c2340242800cb
includes/GlobalFunctions.php